summary refs log tree commit diff
path: root/pkgs/development/idris-modules/default.nix
Commit message (Collapse)AuthorAge
* idrisPackages: add packagesMárton Boros2018-03-20
|
* idrisPackages: fix errorsMárton Boros2018-03-09
|
* Refactor Idris packaging infrastructureMatthew Pickering2018-02-07
| | | | | | | | | 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.
* Add wrapper for idris exe for gcc/gmp runtime depsMatthew Pickering2017-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.
* Revert "Merge branch 'improved-make-overridable' of ↵Shea Levy2017-09-29
| | | | | | | git://github.com/ElvishJerricco/nixpkgs" This reverts commit c3af1210b4c5d7ef380e75add463b37574fdcc8b, reversing changes made to 49f175cd0c80a39e1d05fc687c4a2a40e0aba58c.
* Merge branch 'improved-make-overridable' of ↵Shea Levy2017-09-28
|\ | | | | | | git://github.com/ElvishJerricco/nixpkgs
| * Added `overrideScope` for `callPackageWith`Will Fancher2017-07-13
| | | | | | | | Consequently removing several ad-hoc definitions of the same concept.
* | treewide: Escape backslash in strings properlyTuomas Tynkkynen2017-09-14
|/ | | | "\." is apparently the same as "." wheras the correct one is "\\."
* idris-modules: pkgs.gnome is now pkgs.gnome2.Shea Levy2016-09-27
| | | | | | Fixes #18998. Closes #19002.
* idris-modules: documentationShea Levy2015-11-27
|
* idris-modules: Filter out default.nixShea Levy2015-11-27
|
* idris-modules: Read the filesystem to populate package listShea Levy2015-11-27
|
* Add builtin idris packages to idrisPackagesShea Levy2015-11-27
|
* Add idrisPackages to all-packages.nixShea Levy2015-11-27