Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | idrisPackages.tparsec: 2018-11-09 -> 2018-12-21 | TG ⊗ Θ | 2019-02-05 |
| | |||
* | idris-modules/curses.nix: delete | Jakob Brünker | 2019-01-04 |
| | | | | | The repository is currently unmaintained and cannot be guaranteed to work. | ||
* | idrisPackages.tparsec: 2018-06-26 -> 2018-11-09 | TG ⊗ Θ | 2018-12-20 |
| | |||
* | idrisPackages.{categories,derive}: Use upstream instead of forks | Silvan Mosberger | 2018-10-26 |
| | | | | | | These forks were introduced in https://github.com/NixOS/nixpkgs/pull/42861 to make the builds succeed. The changes have since been incorporated upstream. | ||
* | build-idris-package: ipkgName | TG x | 2018-09-18 |
| | |||
* | idrisPackages.quantities: init at 2018-04-17 | Imuli | 2018-08-04 |
| | |||
* | idrisPackages.graphviz: fix homepage (#44355) | Imuli | 2018-08-02 |
| | |||
* | pkgs/*: remove unreferenced function arguments | volth | 2018-07-21 |
| | |||
* | idris: prefix package derivation names with "idris-" | Silvan Mosberger | 2018-07-16 |
| | |||
* | Merge pull request #42861 from Infinisil/fix/idris-forks | Silvan Mosberger | 2018-07-08 |
|\ | | | | | Idris packages clean ups and updates | ||
| * | build-idris-package: includePreludeBase -> noPrelude, noBase | Silvan Mosberger | 2018-07-05 |
| | | | | | | | | Resembles idris --noprelude and --nobasepkgs arguments | ||
| * | idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build | Silvan Mosberger | 2018-07-02 |
| | | |||
| * | idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix build | Silvan Mosberger | 2018-07-02 |
| | | |||
| * | idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix build | Silvan Mosberger | 2018-07-02 |
| | | |||
| * | idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build | Silvan Mosberger | 2018-07-02 |
| | | |||
| * | idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix build | Silvan Mosberger | 2018-07-02 |
| | | |||
| * | idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix build | Silvan Mosberger | 2018-07-02 |
| | | |||
| * | idrisPackages.{sdl,sdl2}: Mark as broken | Silvan Mosberger | 2018-07-02 |
| | | |||
| * | idrisPackages.descncrunch: Mark as broken | Silvan Mosberger | 2018-07-02 |
| | | |||
| * | idrisPackages: Clean up packages | Silvan Mosberger | 2018-07-02 |
| | | |||
| * | idris: Clean up package builder | Silvan Mosberger | 2018-07-02 |
| | | |||
| * | idrisPackages: install docs | Silvan Mosberger | 2018-07-02 |
| | | |||
* | | idris: Clean up wrapper | Silvan Mosberger | 2018-07-02 |
| | | |||
* | | idris: Wrap with IDRIS_CC | Silvan Mosberger | 2018-07-02 |
|/ | | | | | | | | | | | | Previously idris used the C compiler from PATH for the C backend, which means that the results and whether it even succeeds can vary between systems (e.g. if a Nix-built Idris was used on a super old Linux system, the cc installed there might not even work for Idris' C). To make this more predictable, this commit sets the IDRIS_CC env var, which Idris will prefer over searching in PATH, to a Nix-provided gcc executable, given that it is not already set, so it's still possible to override. | ||
* | idrisPackages.bi: 2018-01-17 -> 2018-06-25 (#42621) | Silvan Mosberger | 2018-06-26 |
| | |||
* | treewide: use appendToName where appropriate | Matthew Bauer | 2018-05-25 |
| | | | | Using appendToName preserves the version at the end of the name. | ||
* | idrisPackages.vdom: init at 0.6.0 | Márton Boros | 2018-05-08 |
| | |||
* | Move all nixpkgs doc files in to the doc directory | Graham Christensen | 2018-03-25 |
| | | | | This makes a makefile-driven developer workflow nicer. | ||
* | idrisPackages: add packages | Márton Boros | 2018-03-20 |
| | |||
* | idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13 | Márton Boros | 2018-03-09 |
| | |||
* | idrisPackages: fix errors | Márton Boros | 2018-03-09 |
| | |||
* | Refactor Idris packaging infrastructure | Matthew Pickering | 2018-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. | ||
* | Revert "idris: Move library setup to the setup hook." | Matthew Pickering | 2018-02-07 |
| | | | | This reverts commit 69d4adee1f8b6278a19708a9051f3290f8f13e04. | ||
* | Undo spacing difference | Márton Boros | 2018-02-03 |
| | |||
* | Merge branch 'master' into fix-idris-modules | Márton Boros | 2018-02-03 |
|\ | |||
| * | idris: Move library setup to the setup hook. | Shea Levy | 2018-01-20 |
| | | | | | | | | This was broken in preHook because addEnvHooks isn't defined yet. | ||
| * | treewide: Don't use envHook anymore | John Ericson | 2017-12-30 |
| | | | | | | | | | | This commits needs a MAJOR audit as I oftentimes just guessed which of `$hostOffset`, `$targetOffset`, or a fixed offset should be used. | ||
* | | idris: fix modules | Márton Boros | 2017-12-26 |
|/ | |||
* | specdris: init at 2017-11-11 (#31544) | Vanessa McHale | 2017-11-21 |
| | |||
* | Add wrapper for idris exe for gcc/gmp runtime deps | Matthew Pickering | 2017-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. | ||
* | Fix idrisPackages.with-packages | Matthew Pickering | 2017-10-30 |
| | | | | | 1. The ln step was failing due to a file already existing 2. gcc was invoked directly which caused failure on OS X. | ||
* | idrisPackages.lightyear: 2016-08-01 -> 2017-09-10 | xd1le | 2017-10-19 |
| | |||
* | Revert "Merge branch 'improved-make-overridable' of ↵ | Shea Levy | 2017-09-29 |
| | | | | | | | git://github.com/ElvishJerricco/nixpkgs" This reverts commit c3af1210b4c5d7ef380e75add463b37574fdcc8b, reversing changes made to 49f175cd0c80a39e1d05fc687c4a2a40e0aba58c. | ||
* | Merge branch 'improved-make-overridable' of ↵ | Shea Levy | 2017-09-28 |
|\ | | | | | | | git://github.com/ElvishJerricco/nixpkgs | ||
| * | Merge branch 'master' into improved-make-overridable | Will Fancher | 2017-08-26 |
| |\ | |||
| * | | Added `overrideScope` for `callPackageWith` | Will Fancher | 2017-07-13 |
| | | | | | | | | | | | | Consequently removing several ad-hoc definitions of the same concept. | ||
* | | | treewide: Escape backslash in strings properly | Tuomas Tynkkynen | 2017-09-14 |
| |/ |/| | | | | | "\." is apparently the same as "." wheras the correct one is "\\." | ||
* | | idrisPackages.idris: 1.0 -> 1.1.1 | Thomas Tuegel | 2017-08-23 |
| | | |||
* | | idrisPackages.build-builtin-package: Include version in name | Thomas Tuegel | 2017-08-22 |
|/ | |||
* | idrisPackages.httpclient: init | Márton Boros | 2016-12-20 |
| |