Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 705c4d7b49a7a824be70b6ead4799dfe328df783
https://github.com/NixOS/nixpkgs/commit/705c4d7b49a7a824be70b6ead4799dfe328df783
Author: John Ericson <[email protected]>
Date: 2015-05-17 (Sun, 17 May 2015)
Changed paths:
M pkgs/build-support/agda/default.nix
Log Message:
-----------
agda: Remove unnecessary env-var export
Derivation attributes are automatically exported as environment
variables already.
Commit: 45052c02a8b27f76a0a4ad9d43a37f7e23d637eb
https://github.com/NixOS/nixpkgs/commit/45052c02a8b27f76a0a4ad9d43a37f7e23d637eb
Author: John Ericson <[email protected]>
Date: 2015-05-17 (Sun, 17 May 2015)
Changed paths:
M pkgs/build-support/agda/default.nix
Log Message:
-----------
agda: Replace `eval` with `runHook`
This is what haskell-ng does, so I figure it is the right thing to
do.
Commit: 95c1c686a371954751003c8108f9b6bd49a5338b
https://github.com/NixOS/nixpkgs/commit/95c1c686a371954751003c8108f9b6bd49a5338b
Author: John Ericson <[email protected]>
Date: 2015-05-18 (Mon, 18 May 2015)
Changed paths:
M pkgs/build-support/agda/default.nix
Log Message:
-----------
agda: Remove buildTools, it is unused
Commit: ae444ea4c4e12853e9791d6c567964e345fea922
https://github.com/NixOS/nixpkgs/commit/ae444ea4c4e12853e9791d6c567964e345fea922
Author: John Ericson <[email protected]>
Date: 2015-05-18 (Mon, 18 May 2015)
Changed paths:
M pkgs/build-support/agda/default.nix
Log Message:
-----------
agda: Remove `extraBuildFlags`
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.
Commit: 33c28bdc833effbf4cd31971e782eeb925f88877
https://github.com/NixOS/nixpkgs/commit/33c28bdc833effbf4cd31971e782eeb925f88877
Author: John Ericson <[email protected]>
Date: 2015-05-20 (Wed, 20 May 2015)
Changed paths:
M pkgs/build-support/agda/default.nix
Log Message:
-----------
agda: Agda dependencies are treated seperately
- 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
Commit: 91ab6c9e899605be047e0e96af1144b964e6b64e
https://github.com/NixOS/nixpkgs/commit/91ab6c9e899605be047e0e96af1144b964e6b64e
Author: John Ericson <[email protected]>
Date: 2015-05-20 (Wed, 20 May 2015)
Changed paths:
M pkgs/build-support/agda/default.nix
Log Message:
-----------
agda: Wrapper is no longer built by default
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`.
Commit: 52a6589559ea424857b30b531f766c3c783b60a8
https://github.com/NixOS/nixpkgs/commit/52a6589559ea424857b30b531f766c3c783b60a8
Author: John Ericson <[email protected]>
Date: 2015-05-20 (Wed, 20 May 2015)
Changed paths:
M pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
Log Message:
-----------
agda: the Iowa stdlib seems to be behind a private SVN now
Commit: 177d40f58223bffdff2de9e621f59faa24a8ab2c
https://github.com/NixOS/nixpkgs/commit/177d40f58223bffdff2de9e621f59faa24a8ab2c
Author: Mateusz Kowalczyk <[email protected]>
Date: 2015-05-23 (Sat, 23 May 2015)
Changed paths:
M pkgs/build-support/agda/default.nix
M pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
Log Message:
-----------
Merge branch 'agda' of https://github.com/Ericson2314/nixpkgs into agda
Compare: https://github.com/NixOS/nixpkgs/compare/ea7805b5fdf5...177d40f58223_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
