summary refs log tree commit diff
path: root/pkgs/build-support/agda
AgeCommit message (Expand)AuthorFilesLines
2021-10-19Merge pull request #98214 from turion/dev_test_all_agda_packagesManuel Bärenz2-0/+10
2021-08-30build-support/agda: Make includePaths configurableManuel Bärenz1-1/+3
2021-08-15treewide: runCommandNoCC -> runCommandRobert Hensing1-2/+2
2021-08-03agdaPackages: Build reverse dependencies on testManuel Bärenz2-0/+10
2021-07-22agdaPackages: Don't build broken packages on hydraManuel Bärenz1-0/+2
2021-05-13mkShell: introduce packages argument (#122180)Jonas Chevalier1-1/+1
2021-03-30agda nixos test: add to passthru for agda + stdlibAlex Rice1-2/+5
2021-02-03Merge pull request #110512 from neosimsim/agda-dont-install-EverythingAnderson Torres2-1/+11
2021-01-24agdaPackages.mkDerivation: don't install Everything moduleAlexander Ben Nasrallah2-1/+11
2021-01-22agda.withPackages: use GHC with ieee754 as defaultAlexander Ben Nasrallah1-1/+1
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-pink 1.4.1 (git 2.36.1) at 2024-06-29 02:28:50 +0000