jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
132,517 Commits 266 Branches 122 Tags 5.3 GiB
004490605a
Commit Graph

34 Commits

Author SHA1 Message Date
Márton Boros
4d4171d5f6 idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13 2018-03-09 10:22:53 +01:00
Márton Boros
4f1d26288f idrisPackages: fix errors 2018-03-09 09:57:18 +01:00
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 69d4adee1f8b6278a19708a9051f3290f8f13e04.
 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 c3af1210b4c5d7ef380e75add463b37574fdcc8b, reversing
changes made to 49f175cd0c80a39e1d05fc687c4a2a40e0aba58c.
 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