mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
Code Issues Wiki Activity
128597 commits 204 branches 125 tags 10 GiB
Commit graph

32 commits

Author SHA1 Message Date
Matthew Pickering 947e7d80b4 Refactor Idris packaging infrastructure 
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.
 2018-02-07 19:25:50 +00:00
Matthew Pickering 8d55538f97 Revert "idris: Move library setup to the setup hook." 
This reverts commit 69d4adee1f.
 2018-02-07 19:24:31 +00:00
Márton Boros 2996be511d
Undo spacing difference 2018-02-03 10:17:24 +01:00
Márton Boros e3220fe6b5
Merge branch 'master' into fix-idris-modules 2018-02-03 10:12:37 +01:00
Shea Levy 69d4adee1f
idris: Move library setup to the setup hook. 
This was broken in preHook because addEnvHooks isn't defined yet.
 2018-01-20 19:58:06 -05:00
John Ericson 046f091e0d treewide: Don't use envHook anymore 
This commits needs a MAJOR audit as I oftentimes just guessed which of
`$hostOffset`, `$targetOffset`, or a fixed offset should be used.
 2017-12-30 22:04:22 -05:00
Márton Boros 92538f0a54 idris: fix modules 2017-12-26 10:55:17 +01:00
Vanessa McHale ab2038d573 specdris: init at 2017-11-11 (#31544) 2017-11-21 22:59:38 +00:00
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
Matthew Pickering b8a7c455f6 Fix idrisPackages.with-packages 
1. The ln step was failing due to a file already existing
2. gcc was invoked directly which caused failure on OS X.
 2017-10-30 12:25:33 +01:00
xd1le 98c7361d3b idrisPackages.lightyear: 2016-08-01 -> 2017-09-10 2017-10-19 02:03:36 +11: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 4d860389d8 Merge branch 'master' into improved-make-overridable 2017-08-26 11:39:13 -04:00
Thomas Tuegel b438d394ce
idrisPackages.idris: 1.0 -> 1.1.1 2017-08-23 06:45:32 -05:00
Thomas Tuegel ca381067e7
idrisPackages.build-builtin-package: Include version in name 2017-08-22 19:48:56 -05: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
Márton Boros 4c1d8b4347 idrisPackages.httpclient: init 2016-12-20 00:28:23 +01:00
Jörg Thalheim 57df343745 Merge pull request #19003 from siddharthist/lightyear/init 
lightyear: init at 9420f9e
 2016-09-29 16:16:10 +02:00
Langston Barrett e7b3d9c7c8 wl-pprint: update to 2016-09-28 2016-09-28 19:36:44 +00:00
Langston Barrett 0b532b7d2a lightyear: init at 9420f9e 2016-09-27 18:01:15 +00: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 920930510e idris-wl-pprint: Use fetchFromGitHub 2015-11-28 05:53:50 -05:00
Shea Levy 9562549ff2 idris-modules: Add docs 2015-11-27 13:34:38 -05:00
Shea Levy 0f90c9dbc1 idris-modules: documentation 2015-11-27 13:17:17 -05:00
Shea Levy 0dce60b34d Add wl-pprint Idris package. 2015-11-27 11:03:04 -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
Shea Levy 34e8eea942 Add with-packages wrapper for idris 2015-11-27 07:56:11 -05:00