| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|
|
|
|
|
|
|
|
| |
The main two changes are
1. Completely rewrite how with-packages works to remove use of envHooks
2. The package description is now an idris specific set rather than
being a subset of the arguments to mkDerivation. This mirrors the
way Haskell packages are treated.
|
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
|
| |
git://github.com/ElvishJerricco/nixpkgs"
This reverts commit c3af1210b4c5d7ef380e75add463b37574fdcc8b, reversing
changes made to 49f175cd0c80a39e1d05fc687c4a2a40e0aba58c.
|
|\
| |
| |
| | |
git://github.com/ElvishJerricco/nixpkgs
|
| |
| |
| |
| | |
Consequently removing several ad-hoc definitions of the same concept.
|
|/
|
|
| |
"\." is apparently the same as "." wheras the correct one is "\\."
|
|
|
|
|
|
| |
Fixes #18998.
Closes #19002.
|
| |
|
| |
|
| |
|
| |
|
|
|