about summary refs log tree commit diff
path: root/pkgs/development/idris-modules
Commit message (Collapse)AuthorAge
* idrisPackages.tparsec: 2018-06-26 -> 2018-11-09TG ⊗ Θ2018-12-20
|
* idrisPackages.{categories,derive}: Use upstream instead of forksSilvan Mosberger2018-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: ipkgNameTG x2018-09-18
|
* idrisPackages.quantities: init at 2018-04-17Imuli2018-08-04
|
* idrisPackages.graphviz: fix homepage (#44355)Imuli2018-08-02
|
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
|
* idris: prefix package derivation names with "idris-"Silvan Mosberger2018-07-16
|
* Merge pull request #42861 from Infinisil/fix/idris-forksSilvan Mosberger2018-07-08
|\ | | | | Idris packages clean ups and updates
| * build-idris-package: includePreludeBase -> noPrelude, noBaseSilvan Mosberger2018-07-05
| | | | | | | | Resembles idris --noprelude and --nobasepkgs arguments
| * idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.{sdl,sdl2}: Mark as brokenSilvan Mosberger2018-07-02
| |
| * idrisPackages.descncrunch: Mark as brokenSilvan Mosberger2018-07-02
| |
| * idrisPackages: Clean up packagesSilvan Mosberger2018-07-02
| |
| * idris: Clean up package builderSilvan Mosberger2018-07-02
| |
| * idrisPackages: install docsSilvan Mosberger2018-07-02
| |
* | idris: Clean up wrapperSilvan Mosberger2018-07-02
| |
* | idris: Wrap with IDRIS_CCSilvan Mosberger2018-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 Mosberger2018-06-26
|
* treewide: use appendToName where appropriateMatthew Bauer2018-05-25
| | | | Using appendToName preserves the version at the end of the name.
* idrisPackages.vdom: init at 0.6.0Márton Boros2018-05-08
|
* Move all nixpkgs doc files in to the doc directoryGraham Christensen2018-03-25
| | | | This makes a makefile-driven developer workflow nicer.
* idrisPackages: add packagesMárton Boros2018-03-20
|
* idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13Márton Boros2018-03-09
|
* 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.
* Revert "idris: Move library setup to the setup hook."Matthew Pickering2018-02-07
| | | | This reverts commit 69d4adee1f8b6278a19708a9051f3290f8f13e04.
* Undo spacing differenceMárton Boros2018-02-03
|
* Merge branch 'master' into fix-idris-modulesMárton Boros2018-02-03
|\
| * idris: Move library setup to the setup hook.Shea Levy2018-01-20
| | | | | | | | This was broken in preHook because addEnvHooks isn't defined yet.
| * treewide: Don't use envHook anymoreJohn Ericson2017-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 modulesMárton Boros2017-12-26
|/
* specdris: init at 2017-11-11 (#31544)Vanessa McHale2017-11-21
|
* 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.
* Fix idrisPackages.with-packagesMatthew Pickering2017-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-10xd1le2017-10-19
|
* 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
| * Merge branch 'master' into improved-make-overridableWill Fancher2017-08-26
| |\
| * | 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 "\\."
* | idrisPackages.idris: 1.0 -> 1.1.1Thomas Tuegel2017-08-23
| |
* | idrisPackages.build-builtin-package: Include version in nameThomas Tuegel2017-08-22
|/
* idrisPackages.httpclient: initMárton Boros2016-12-20
|
* Merge pull request #19003 from siddharthist/lightyear/initJörg Thalheim2016-09-29
|\ | | | | lightyear: init at 9420f9e
| * lightyear: init at 9420f9eLangston Barrett2016-09-27
| |
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-07 19:20:09 +0000