about summary refs log tree commit diff
path: root/pkgs/build-support/agda
AgeCommit message (Expand)AuthorFilesLines
2024-03-18agda: Don't be too picky about `everythingFile`ibbem2-4/+7
2024-03-18agda: Remove the --local-interfaces flagibbem2-7/+6
2023-10-24agdaPackages.*: support literate Typst filesNaïm Favier2-1/+2
2023-02-18Merge remote-tracking branch 'origin/master' into haskell-updatessternenseemann1-1/+5
2023-02-14agda: 2.6.2.2 -> 2.6.3Ingo Blechschmidt1-0/+7
2023-02-12agda: fix passthruNaïm Favier1-1/+5
2023-01-12agda: pass through metaNaïm Favier1-1/+2
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