Commit graph

83 commits

Author SHA1 Message Date
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 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.
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
Silvan Mosberger 603d989ef4
idrisPackages.descncrunch: Mark as broken 2018-07-02 06:43:15 +02:00
Silvan Mosberger b73f540beb
idrisPackages: Clean up packages 2018-07-02 06:13:01 +02:00
Silvan Mosberger e79b302f89
idris: Clean up package builder 2018-07-02 06:13:01 +02:00
Silvan Mosberger 7ec54c61b7
idrisPackages: install docs 2018-07-02 06:13:01 +02:00
Silvan Mosberger 636cd3cba9
idris: Clean up wrapper 2018-07-02 02:35:46 +02:00
Silvan Mosberger b6cfa372f0
idris: Wrap with IDRIS_CC
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.
2018-07-02 02:34:31 +02:00
Silvan Mosberger ebc7d20190 idrisPackages.bi: 2018-01-17 -> 2018-06-25 (#42621) 2018-06-26 22:14:17 +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
Márton Boros bf02618e1f idrisPackages.vdom: init at 0.6.0 2018-05-08 11:41:52 +02:00
Graham Christensen 92d53362d4
Move all nixpkgs doc files in to the doc directory
This makes a makefile-driven developer workflow nicer.
2018-03-25 19:52:00 -04:00
Márton Boros 23ee7c9d8d idrisPackages: add packages 2018-03-20 07:16:21 +01:00
Márton Boros 4d4171d5f6 idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13 2018-03-09 10:22:53 +01:00