11 commits

Author	SHA1	Message	Date
Matthew Pickering	40124cd0cf	Add wrapper for idris exe for gcc/gmp runtime deps ... 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.	2017-11-02 23:14:12 +00:00
Shea Levy	1a1ad1a17d	Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs" ... This reverts commit c3af1210b4, reversing changes made to 49f175cd0c.	2017-09-29 09:11:26 -04:00
Shea Levy	c3af1210b4	Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs	2017-09-28 18:10:50 -04:00
Tuomas Tynkkynen	0c368ef02f	treewide: Escape backslash in strings properly ... "\." is apparently the same as "." wheras the correct one is "\\."	2017-09-14 01:03:39 +03:00
Will Fancher	8b764960e9	Added overrideScope for callPackageWith ... Consequently removing several ad-hoc definitions of the same concept.	2017-07-13 14:56:13 -04:00
Shea Levy	7bda74f676	idris-modules: pkgs.gnome is now pkgs.gnome2. ... Fixes #18998. Closes #19002.	2016-09-27 13:52:25 -04:00
Shea Levy	0f90c9dbc1	idris-modules: documentation	2015-11-27 13:17:17 -05:00
Shea Levy	a01c7b5a15	idris-modules: Filter out default.nix	2015-11-27 09:57:49 -05:00
Shea Levy	a5ca796f55	idris-modules: Read the filesystem to populate package list	2015-11-27 09:55:22 -05:00
Shea Levy	efbee054fd	Add builtin idris packages to idrisPackages	2015-11-27 09:35:59 -05:00
Shea Levy	5898c20604	Add idrisPackages to all-packages.nix	2015-11-27 08:19:50 -05:00