summaryrefslogtreecommitdiff
path: root/pkgs/build-support/agda
AgeCommit message (Expand)Author
2026-03-23agda: skip eval errors in allPackagesNaïm Camille Favier
2026-03-23agdaPackages.mkDerivation: move LC_ALL into env for structuredAttrsStefan Frijters
2025-11-27build-support/agda: Keep passthru in mkDerivationRasheeq Azad
2025-10-28Conditionally create symlink to agda-mode if presentCarlos Tomé Cortiñas
2025-10-28Update pkgs/build-support/agda/default.nixCarlos Tomé Cortiñas
2025-10-28Remove agda-mode from executablesCarlos Tomé Cortiñas
2025-10-28Replace hardcoded agda binary by name from packageCarlos Tomé Cortiñas
2025-10-02agda.withPackages: add libraryFile to passthruwrvsrx
2025-07-17agda: fixes for 2.8.0 (#424180)Philip Taron
2025-07-16haskellPackages.Agda: set `mainProgram`Naïm Camille Favier
2025-07-16agda: use `getBin Agda` instead of `Agda.bin`Naïm Camille Favier
2025-07-16agdaPackages: switch to `--build-library`Naïm Camille Favier
2025-05-28agda.withPackages: allow installing Agda without GHC using `ghc = null;`Tsung-Ju Chiang
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-09-25treewide: replace `stdenv.is` with `stdenv.hostPlatform.is`Artturin
2024-07-04build-support/agda: expose mkLibraryFileNaïm Favier
2024-04-07haskellPackages.Agda: Split outputs to reduce closure sizePhilipp Joram
2024-03-31Merge master into staging-nextgithub-actions[bot]
2024-03-19Avoid top-level `with ...;` in pkgs/build-support/agda/default.nixPhilip Taron
2024-03-18agda: Don't be too picky about `everythingFile`ibbem
2024-03-18agda: Remove the --local-interfaces flagibbem
2023-10-24agdaPackages.*: support literate Typst filesNaïm Favier
2023-02-18Merge remote-tracking branch 'origin/master' into haskell-updatessternenseemann
2023-02-14agda: 2.6.2.2 -> 2.6.3Ingo Blechschmidt
2023-02-12agda: fix passthruNaïm Favier
2023-01-12agda: pass through metaNaïm Favier
2021-10-19Merge pull request #98214 from turion/dev_test_all_agda_packagesManuel Bärenz
2021-08-30build-support/agda: Make includePaths configurableManuel Bärenz
2021-08-15treewide: runCommandNoCC -> runCommandRobert Hensing
2021-08-03agdaPackages: Build reverse dependencies on testManuel Bärenz
2021-07-22agdaPackages: Don't build broken packages on hydraManuel Bärenz
2021-05-13mkShell: introduce packages argument (#122180)Jonas Chevalier
2021-03-30agda nixos test: add to passthru for agda + stdlibAlex Rice
2021-02-03Merge pull request #110512 from neosimsim/agda-dont-install-EverythingAnderson Torres
2021-01-24agdaPackages.mkDerivation: don't install Everything moduleAlexander Ben Nasrallah
2021-01-22agda.withPackages: use GHC with ieee754 as defaultAlexander Ben Nasrallah
2020-06-01agda: install literate filesAlex Rice
2020-05-14agda: rework builderAlex Rice
2019-12-30treewide: fix *FlagsRobin Gloster
2019-12-05Remove myself (fuuzetsu) from maintainer listsMateusz Kowalczyk
2018-12-07agda: use exec in agdaWrapperDmitry Kalinkin
2018-11-08agda: use writeShellScriptbin instead of writeScriptBinMoritz Kiefer
2015-05-31agda: Remove unused/uneeded abstractions, including `postprocess`John Ericson
2015-05-31agda: Just `with` all of the string helper functionsJohn Ericson
2015-05-30agda: `postprocess` and `defaults` need not be in the scope of argsJohn Ericson
2015-05-30agda: Provide a `.env` like Haskell instead of `.extras`John Ericson
2015-05-20agda: Wrapper is no longer built by defaultJohn Ericson
2015-05-20agda: Agda dependencies are treated seperatelyJohn Ericson
2015-05-18agda: Remove `extraBuildFlags`John Ericson
2015-05-18agda: Remove buildTools, it is unusedJohn Ericson
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-24 15:02:23 +0000