9 Commits

Author	SHA1	Message	Date
Pavol Rusnak	a6ce00c50c	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
Pavol Rusnak	cf2a67fef3	pkgs/development: stdenv.lib -> lib ... this takes care of the following folders in pkgs/development: * arduino * chez-modules * go-packages * guile-modules * idris-modules * perl-modules * r-modules * ruby-modules	2021-01-17 19:11:59 +01:00
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