Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | idris: Move library setup to the setup hook. | Shea Levy | 2018-01-20 |
| | | | | This was broken in preHook because addEnvHooks isn't defined yet. | ||
* | treewide: Don't use envHook anymore | John Ericson | 2017-12-30 |
| | | | | | This commits needs a MAJOR audit as I oftentimes just guessed which of `$hostOffset`, `$targetOffset`, or a fixed offset should be used. | ||
* | specdris: init at 2017-11-11 (#31544) | Vanessa McHale | 2017-11-21 |
| | |||
* | Add wrapper for idris exe for gcc/gmp runtime deps | Matthew Pickering | 2017-11-02 |
| | | | | | | | | Fixes #10450 When compiling packages with -o the executable invokes gcc. There is no compile time flag to control this invocation so for now we create a wrapper which provides the dependency at runtime. | ||
* | Fix idrisPackages.with-packages | Matthew Pickering | 2017-10-30 |
| | | | | | 1. The ln step was failing due to a file already existing 2. gcc was invoked directly which caused failure on OS X. | ||
* | idrisPackages.lightyear: 2016-08-01 -> 2017-09-10 | xd1le | 2017-10-19 |
| | |||
* | Revert "Merge branch 'improved-make-overridable' of ↵ | Shea Levy | 2017-09-29 |
| | | | | | | | git://github.com/ElvishJerricco/nixpkgs" This reverts commit c3af1210b4c5d7ef380e75add463b37574fdcc8b, reversing changes made to 49f175cd0c80a39e1d05fc687c4a2a40e0aba58c. | ||
* | Merge branch 'improved-make-overridable' of ↵ | Shea Levy | 2017-09-28 |
|\ | | | | | | | git://github.com/ElvishJerricco/nixpkgs | ||
| * | Merge branch 'master' into improved-make-overridable | Will Fancher | 2017-08-26 |
| |\ | |||
| * | | Added `overrideScope` for `callPackageWith` | Will Fancher | 2017-07-13 |
| | | | | | | | | | | | | Consequently removing several ad-hoc definitions of the same concept. | ||
* | | | treewide: Escape backslash in strings properly | Tuomas Tynkkynen | 2017-09-14 |
| |/ |/| | | | | | "\." is apparently the same as "." wheras the correct one is "\\." | ||
* | | idrisPackages.idris: 1.0 -> 1.1.1 | Thomas Tuegel | 2017-08-23 |
| | | |||
* | | idrisPackages.build-builtin-package: Include version in name | Thomas Tuegel | 2017-08-22 |
|/ | |||
* | idrisPackages.httpclient: init | Márton Boros | 2016-12-20 |
| | |||
* | Merge pull request #19003 from siddharthist/lightyear/init | Jörg Thalheim | 2016-09-29 |
|\ | | | | | lightyear: init at 9420f9e | ||
| * | lightyear: init at 9420f9e | Langston Barrett | 2016-09-27 |
| | | |||
* | | wl-pprint: update to 2016-09-28 | Langston Barrett | 2016-09-28 |
|/ | |||
* | idris-modules: pkgs.gnome is now pkgs.gnome2. | Shea Levy | 2016-09-27 |
| | | | | | | Fixes #18998. Closes #19002. | ||
* | idris-wl-pprint: Use fetchFromGitHub | Shea Levy | 2015-11-28 |
| | |||
* | idris-modules: Add docs | Shea Levy | 2015-11-27 |
| | |||
* | idris-modules: documentation | Shea Levy | 2015-11-27 |
| | |||
* | Add wl-pprint Idris package. | Shea Levy | 2015-11-27 |
| | |||
* | idris-modules: Filter out default.nix | Shea Levy | 2015-11-27 |
| | |||
* | idris-modules: Read the filesystem to populate package list | Shea Levy | 2015-11-27 |
| | |||
* | Add builtin idris packages to idrisPackages | Shea Levy | 2015-11-27 |
| | |||
* | Add idrisPackages to all-packages.nix | Shea Levy | 2015-11-27 |
| | |||
* | Add with-packages wrapper for idris | Shea Levy | 2015-11-27 |