aboutsummaryrefslogtreecommitdiff
path: root/pkgs/build-support/agda (unfollow)
Commit message (Expand)AuthorFilesLines
2020-06-01agda: install literate filesAlex Rice1-1/+12
2020-05-14agda: rework builderAlex Rice1-82/+63
2019-12-30treewide: fix *FlagsRobin Gloster1-2/+2
2019-12-05Remove myself (fuuzetsu) from maintainer listsMateusz Kowalczyk1-2/+0
2018-12-07agda: use exec in agdaWrapperDmitry Kalinkin1-1/+1
2018-11-08agda: use writeShellScriptbin instead of writeScriptBinMoritz Kiefer1-2/+2
2015-05-31agda: Remove unused/uneeded abstractions, including `postprocess`John Ericson1-18/+11
2015-05-31agda: Just `with` all of the string helper functionsJohn Ericson1-3/+3
2015-05-30agda: `postprocess` and `defaults` need not be in the scope of argsJohn Ericson1-81/+80
2015-05-30agda: Provide a `.env` like Haskell instead of `.extras`John Ericson1-19/+13
2015-05-20agda: Wrapper is no longer built by defaultJohn Ericson1-16/+23
2015-05-20agda: Agda dependencies are treated seperatelyJohn Ericson1-6/+14
2015-05-18agda: Remove `extraBuildFlags`John Ericson1-6/+5
2015-05-18agda: Remove buildTools, it is unusedJohn Ericson1-3/+1
2015-05-17agda: Replace `eval` with `runHook`John Ericson1-6/+6
2015-05-17agda: Remove unnecessary env-var exportJohn Ericson1-1/+0
2015-04-06agda: migrate to haskell-ng, update and cleanupNikolay Amiantov1-1/+1
2014-09-01Add a builder for Agda packages.Mateusz Kowalczyk1-0/+95
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-30 23:10:50 +0000