summary refs log tree commit diff
path: root/pkgs/build-support/agda
Commit message (Collapse)AuthorAge
* agda: Remove unused/uneeded abstractions, including `postprocess`John Ericson2015-05-31
|
* agda: Just `with` all of the string helper functionsJohn Ericson2015-05-31
|
* agda: `postprocess` and `defaults` need not be in the scope of argsJohn Ericson2015-05-30
|
* agda: Provide a `.env` like Haskell instead of `.extras`John Ericson2015-05-30
|
* agda: Wrapper is no longer built by defaultJohn Ericson2015-05-20
| | | | | | | | | | | | | Instead it is provided to the user who can choose whether or not to include it in the final derivati. Example of including would be: ```nix callPackage ... (self: { inherit (self.extras) extraThing; }) ``` These extras are also available downstream without being built by default. This is achieved with `passthru`.
* agda: Agda dependencies are treated seperatelyJohn Ericson2015-05-20
| | | | | | - Only they are added to the optional build path (share/agda) - Only they are are passed as an include dir (share/agda) - Only they are propigatedBuildInputs
* agda: Remove `extraBuildFlags`John Ericson2015-05-18
| | | | | | | | | This is unused, future users can just use override `buildFlags` and extend/replace as needed. `includeDirs` is provided for this purpose. We should add `dirOf self.everythingFile` rather than `.`, but `dirOf` breaks on relative paths so that is not an option.
* agda: Remove buildTools, it is unusedJohn Ericson2015-05-18
|
* agda: Replace `eval` with `runHook`John Ericson2015-05-17
| | | | | This is what haskell-ng does, so I figure it is the right thing to do.
* agda: Remove unnecessary env-var exportJohn Ericson2015-05-17
| | | | | Derivation attributes are automatically exported as environment variables already.
* agda: migrate to haskell-ng, update and cleanupNikolay Amiantov2015-04-06
| | | | Resolves https://github.com/NixOS/nixpkgs/pull/7172.
* Add a builder for Agda packages.Mateusz Kowalczyk2014-09-01