7 commits

Author	SHA1	Message	Date
Silvan Mosberger	e79b302f89	idris: Clean up package builder	2018-07-02 06:13:01 +02:00
Matthew Bauer	a0f4d19925	treewide: use appendToName where appropriate ... Using appendToName preserves the version at the end of the name.	2018-05-25 15:48:31 -05: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
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
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
Shea Levy	0f90c9dbc1	idris-modules: documentation	2015-11-27 13:17:17 -05:00
Shea Levy	a5ca796f55	idris-modules: Read the filesystem to populate package list	2015-11-27 09:55:22 -05:00

Renamed from pkgs/development/idris-modules/with-packages-wrapper.nix (Browse further)