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;`.
2022-04-01 11:33:10 +02:00
Felix Buehler
3df56ed3e4
idris-modules: rename name to pname
2022-02-23 11:28:15 +01:00
Jonathan Ringer
3724b8cfa8
idrisPackages.protobuf: move to alias set
2022-02-07 11:38:38 -08:00
c0bw3b
c1ef1d8f9b
idrisPackages.protobuf: remove
...
Upstream does not exist anymore
2022-02-06 16:56:17 -08:00
Maëlys Bras de fer
69f1acd3ec
build-idris-package: Use patchPhase for consistency
2021-11-28 13:20:38 +01:00
Silvan Mosberger
aaec4a5cf8
Merge pull request #122181 from divanorama/patch-2
...
idrisPackages.data: remove broken package at 2018-03-19
2021-05-09 17:40:17 +02:00
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
2021-05-08 20:03:28 +02:00
divanorama
9ad46075a0
idrisPackages.sdl2: fix sources sha256
...
This is weird
b7ddbd52bdhttps://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
2021-05-08 14:45:35 +02:00
Pavol Rusnak
a6ce00c50c
treewide: remove stdenv where not needed
2021-01-25 18:31:47 +01:00
zowoq
31f5dd3f36
treewide: editorconfig fixes
...
- remove trailing whitespace
- use spaces for indentation
2021-01-20 09:11:11 +10:00
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.
2021-01-19 01:16:25 -08: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
Samuel Gräfenstein
0e19ef393a
idris-modules: add final newline to TODO.md
2020-11-09 11:39:28 +00:00
Frederik Rietdijk
08900c0554
Merge master into staging-next
2020-06-04 15:25:54 +02:00
Daiderd Jordan
b7ddbd52bd
treewide: replace SRI hashes
2020-06-01 15:24:19 +02:00
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.
2020-05-12 00:44:44 -04:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Mike Sperber
620f3c6cf7
idrisPackages: add tf-random package
2020-03-20 13:44:50 +01:00
Alex Gryzlov
11a9dfeb96
idrisPackages.tparsec: 2019-09-19 -> 2020-02-11
2020-02-17 20:08:27 +01:00
Alex Gryzlov
a0d31e3970
idrisPackages.tparsec: 2019-06-18 -> 2019-09-19
2019-12-15 03:03:01 +03:00
Kierán Meinhardt
8eb0413c05
idrisPackages.heyting-algebra: remove
2019-09-24 19:50:04 +02:00
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.
2019-09-24 17:01:21 +02:00
Silvan Mosberger
dd7de2d096
add options for build idris package ( #65666 )
...
add options for build idris package
2019-08-07 13:37:36 +02:00
Marco Perone
8a02fa477f
build-idris-package: add options for idris commands
2019-08-06 09:10:46 +02:00
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
2019-08-02 16:42:21 +02:00
Steven Shaw
5bb88bbce2
idrisPackages.sdl2: 2018-01-19 -> 0.1.1
...
Update to latest release which unbreaks the package.
2019-07-28 07:37:52 +10:00
Alex Gryzlov
46c5c8c16b
idrisPackages.tparsec: 2018-12-21 -> 2019-06-18
2019-06-21 18:57:15 +03:00
Silvan Mosberger
adfd54a8f2
idrisPackages.build-idris-package: Install binaries
2019-04-28 16:54:32 +02:00
Silvan Mosberger
93143b02d5
Merge pull request #58320 from Infinisil/fix-idris-glfw
...
idrisPackages.glfw: Fix runtime
2019-04-28 16:53:32 +02:00
Silvan Mosberger
271403c69b
idrisPackages.idris-wrapper: Use stdenv's cc instead of always gcc
...
This should make it work on Darwin with clang.
2019-03-26 04:16:19 +01:00
Silvan Mosberger
cfd2e6731a
idrisPackages.idris-wrapper: Fix linking to gmp library
...
This has been broken since 5d18129ce8https://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.
2019-03-26 04:16:14 +01:00
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.
2019-03-26 04:09:24 +01:00
TG ⊗ Θ
50087e01c4
idrisPackages.tparsec: 2018-11-09 -> 2018-12-21
2019-02-05 18:25:25 +01:00
Jakob Brünker
e0bcc7f082
idris-modules/curses.nix: delete
...
The repository is currently unmaintained and cannot be guaranteed to
work.
2019-01-04 13:44:37 +01:00
TG ⊗ Θ
551ffccf98
idrisPackages.tparsec: 2018-06-26 -> 2018-11-09
2018-12-20 15:52:20 +01:00
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.
2018-10-26 11:15:10 +02:00
TG x
7e0f7a0b54
build-idris-package: ipkgName
2018-09-18 10:38:59 +02:00
Imuli
a6e17d6f11
idrisPackages.quantities: init at 2018-04-17
2018-08-04 23:10:43 -04:00
Imuli
632bda238f
idrisPackages.graphviz: fix homepage ( #44355 )
2018-08-02 16:24:48 +02:00
volth
52f53c69ce
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
Silvan Mosberger
1d94e4c363
idris: prefix package derivation names with "idris-"
2018-07-16 16:00:42 +02:00
Silvan Mosberger
4b9985c668
Merge pull request #42861 from Infinisil/fix/idris-forks
...
Idris packages clean ups and updates
2018-07-08 23:24:11 +02:00
Silvan Mosberger
5f620d0e22
build-idris-package: includePreludeBase -> noPrelude, noBase
...
Resembles idris --noprelude and --nobasepkgs arguments
2018-07-05 19:10:27 +02:00
Silvan Mosberger
ef0073410d
idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build
2018-07-02 15:39:52 +02:00
Silvan Mosberger
0ca2744df3
idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix build
2018-07-02 14:07:44 +02:00
Silvan Mosberger
cefa098cd8
idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix build
2018-07-02 06:43:15 +02:00
Silvan Mosberger
c6c726bdfd
idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build
2018-07-02 06:43:15 +02:00
Silvan Mosberger
74d2b01db5
idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix build
2018-07-02 06:43:15 +02:00
Silvan Mosberger
0519b48ab8
idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix build
2018-07-02 06:43:15 +02:00
Silvan Mosberger
df6974cff2
idrisPackages.{sdl,sdl2}: Mark as broken
2018-07-02 06:43:15 +02:00
