95 Commits (6370469cc9495e1efbd32e457992107f33e692e7)

Author	SHA1	Message	Date
Robert Hensing	200175a701	config.allowAliases: Define as option ... This simplifies usages and makes the default value consistent. In a few cases, the default value was interpreted to be `false`, but this is useless, because virtually nobody will explicitly set `allowAliases = true;`.	2 years ago
Felix Buehler	3df56ed3e4	idris-modules: rename name to pname	2 years ago
Jonathan Ringer	3724b8cfa8	idrisPackages.protobuf: move to alias set	2 years ago
c0bw3b	c1ef1d8f9b	idrisPackages.protobuf: remove ... Upstream does not exist anymore	2 years ago
Maëlys Bras de fer	69f1acd3ec	build-idris-package: Use patchPhase for consistency	3 years ago
divanorama	b06d3ac70a	idrisPackages.data: remove broken package at 2018-03-19 ... Package doesn't compile https://hydra.nixos.org/build/142422494/nixlog/2 And the repository is archived with latest commits being in 2019 https://github.com/jdevuyst/dependable-data-structures ZHF: #122042	3 years ago
divanorama	9ad46075a0	idrisPackages.sdl2: fix sources sha256 ... This is weird b7ddbd52bd replaced idris-modules/sdl2.nix hash with that of pkgs/applications/networking/instant-messengers/quaternion/default.nix Build log says [sdl2.ipkg](https://github.com/steshaw/idris-sdl2/blob/0.1.1/sdl2.ipkg) isn't found, which is kind of correct message for using wrong archive https://hydra.nixos.org/build/142426623/nixlog/2 How do we make sure all other replaced hashes are correct? Also move pkg-config dependency to nativeBuildInputs ZHF: #122042	3 years ago
Pavol Rusnak	a6ce00c50c	treewide: remove stdenv where not needed	3 years ago
zowoq	31f5dd3f36	treewide: editorconfig fixes ... - remove trailing whitespace - use spaces for indentation	3 years ago
Jonathan Ringer	9bb3fccb5b	treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix ... continuation of #109595 pkgconfig was aliased in 2018, however, it remained in all-packages.nix due to its wide usage. This cleans up the remaining references to pkgs.pkgsconfig and moves the entry to aliases.nix. python3Packages.pkgconfig remained unchanged because it's the canonical name of the upstream package on pypi.	3 years ago
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	3 years ago
Samuel Gräfenstein	0e19ef393a	idris-modules: add final newline to TODO.md	4 years ago
Daiderd Jordan	b7ddbd52bd	treewide: replace SRI hashes	4 years ago
John Ericson	1ac5398589	*-wrapper; Switch from `infixSalt` to `suffixSalt` ... I hate the thing too even though I made it, and rather just get rid of it. But we can't do that yet. In the meantime, this brings us more inline with autoconf and will make it slightly easier for me to write a pkg-config wrapper, which we need.	4 years ago
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	4 years ago
Mike Sperber	620f3c6cf7	idrisPackages: add tf-random package	4 years ago
Alex Gryzlov	11a9dfeb96	idrisPackages.tparsec: 2019-09-19 -> 2020-02-11	4 years ago
Alex Gryzlov	a0d31e3970	idrisPackages.tparsec: 2019-06-18 -> 2019-09-19	5 years ago
Kierán Meinhardt	8eb0413c05	idrisPackages.heyting-algebra: remove	5 years ago
Kierán Meinhardt	7df8575a72	idrisPackages.heyting-algebra: mark as broken ... The functionality provided by this package has been added to the Idris contrib library (module `Interfaces.Verified`). Therefore identifiers cannot be disambiguated anymore.	5 years ago
Marco Perone	8a02fa477f	build-idris-package: add options for idris commands	5 years ago
Silvan Mosberger	1e2d93cfcd	idrisPackages: Fix overrides not applying ... Previously when overriding idrisPackages, it wouldn't work properly because it took idrisPackages from the pkgs set	5 years ago
Steven Shaw	5bb88bbce2	idrisPackages.sdl2: 2018-01-19 -> 0.1.1 ... Update to latest release which unbreaks the package.	5 years ago
Alex Gryzlov	46c5c8c16b	idrisPackages.tparsec: 2018-12-21 -> 2019-06-18	5 years ago
Silvan Mosberger	adfd54a8f2	idrisPackages.build-idris-package: Install binaries	5 years ago
Silvan Mosberger	271403c69b	idrisPackages.idris-wrapper: Use stdenv's cc instead of always gcc ... This should make it work on Darwin with clang.	5 years ago
Silvan Mosberger	cfd2e6731a	idrisPackages.idris-wrapper: Fix linking to gmp library ... This has been broken since 5d18129ce8, which updated idris from 1.3.0 to 1.3.1, which included https://github.com/idris-lang/Idris-dev/pull/4472 as the cause of the error. I'm still not entirely sure why this broke it though. This now way should be rather future proof, it uses NIX_CFLAGS to pass gpm link flags to our CC wrapper directly. The `NIX_CC_WRAPPER_${stdenv.cc.infixSalt}_TARGET_HOST` part I'm pretty sure is needed for the CC wrapper to know that those CFLAGS are meant for the cc running on the HOST.	5 years ago
Silvan Mosberger	321ec862de	idrisPackages.glfw: Fix runtime ... In order to run programs, pkgconfig needs to be present so it can tell it where to find glfw3 and gl.	5 years ago
TG ⊗ Θ	50087e01c4	idrisPackages.tparsec: 2018-11-09 -> 2018-12-21	5 years ago
Jakob Brünker	e0bcc7f082	idris-modules/curses.nix: delete ... The repository is currently unmaintained and cannot be guaranteed to work.	6 years ago
TG ⊗ Θ	551ffccf98	idrisPackages.tparsec: 2018-06-26 -> 2018-11-09	6 years ago
Silvan Mosberger	41b55b3508	idrisPackages.{categories,derive}: Use upstream instead of forks ... These forks were introduced in https://github.com/NixOS/nixpkgs/pull/42861 to make the builds succeed. The changes have since been incorporated upstream.	6 years ago
TG x	7e0f7a0b54	build-idris-package: ipkgName	6 years ago
Imuli	a6e17d6f11	idrisPackages.quantities: init at 2018-04-17	6 years ago
Imuli	632bda238f	idrisPackages.graphviz: fix homepage (#44355)	6 years ago
volth	52f53c69ce	pkgs/*: remove unreferenced function arguments	6 years ago
Silvan Mosberger	1d94e4c363	idris: prefix package derivation names with "idris-"	6 years ago
Silvan Mosberger	5f620d0e22	build-idris-package: includePreludeBase -> noPrelude, noBase ... Resembles idris --noprelude and --nobasepkgs arguments	6 years ago
Silvan Mosberger	ef0073410d	idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build	6 years ago
Silvan Mosberger	0ca2744df3	idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix build	6 years ago
Silvan Mosberger	cefa098cd8	idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix build	6 years ago
Silvan Mosberger	c6c726bdfd	idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build	6 years ago
Silvan Mosberger	74d2b01db5	idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix build	6 years ago
Silvan Mosberger	0519b48ab8	idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix build	6 years ago
Silvan Mosberger	df6974cff2	idrisPackages.{sdl,sdl2}: Mark as broken	6 years ago
Silvan Mosberger	603d989ef4	idrisPackages.descncrunch: Mark as broken	6 years ago
Silvan Mosberger	b73f540beb	idrisPackages: Clean up packages	6 years ago
Silvan Mosberger	e79b302f89	idris: Clean up package builder	6 years ago
Silvan Mosberger	7ec54c61b7	idrisPackages: install docs	6 years ago
Silvan Mosberger	636cd3cba9	idris: Clean up wrapper	6 years ago