Commit graph

141 commits

Author SHA1 Message Date
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
Ben Siraphob badf51221d treewide: stdenv.lib -> lib 2021-01-16 17:58:11 +07:00
Profpatsch 4a7f99d55d treewide: with stdenv.lib; in meta -> with lib;
Part of: https://github.com/NixOS/nixpkgs/issues/108938

meta = with stdenv.lib;

is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.

This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.

The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
2021-01-11 10:38:22 +01:00
Cyril Cohen 9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
Vincent Laporte c5556b7454 coq_8_12: 8.12.1 → 8.12.2 2020-12-16 07:45:54 +01:00
Vincent Laporte de8205f8bb coq_8_13: init at 8.13+β1 2020-12-15 21:13:40 +01:00
Vincent Laporte 2806eb2743 coq_8_12: 8.12.0 → 8.12.1 2020-11-15 12:03:15 +01:00
Vincent Laporte 8cab21b48b Revert "coq: propagate and install ocaml and findlib"
This reverts commit 5d0e2dedd5.
2020-10-31 09:08:06 +01:00
Théo Zimmermann 5d0e2dedd5 coq: propagate and install ocaml and findlib
Fix #34657.
2020-10-21 11:07:02 +02:00
Mario Rodas f96ec7d994
ocamlPackages.lablgtk3: propagate gtk3 (#95849) 2020-08-21 10:52:11 +02:00
Vincent Laporte b8dfca143c coq_8_12: 8.12+β1 → 8.12.0
coqPackages.equations: 1.2.2 → 1.2.3
2020-08-08 06:33:08 +02:00
Vincent Laporte 390769312d coq_8_5: fix build (use gnumake 4.2) 2020-08-03 07:46:20 +02:00
Vincent Laporte a8bb61222f coq_8_12: init at 8.12+β1 2020-06-19 12:28:42 +02:00
Vincent Laporte 48f0d8b3c8 coq_8_11: 8.11.1 → 8.11.2 2020-05-20 19:21:42 +02:00
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Vincent Laporte d6a8d0ca5b coq_8_11: 8.11.0 → 8.11.1 2020-04-05 15:32:32 +02:00
Vincent Laporte 13dd5844fd coqPackages_8_11.coq: 8.11+β1 → 8.11.0 2020-01-31 14:09:51 +01:00
Vincent Laporte 659a7ae963 coq: disable CoqIDE on Darwin for Coq ≥ 8.10 2020-01-31 14:09:51 +01:00
Merijn Broeren 133103d709
treewide: replace make/build/configure/patchFlags with nix lists 2019-12-30 12:58:11 +01:00
Vincent Laporte 2942490c2c
coq_8_11: init at 8.11+β1 2019-12-07 07:58:00 +00:00
Vincent Laporte 3806eff9ca coq_8_10: 8.10.1 → 8.10.2 2019-12-03 13:51:52 +00:00
John Ericson d60532bc71 coq: Fix setup hook 2019-11-25 14:20:10 +00:00
Vincent Laporte a8892b0d76
coq_8_10: 8.10.0 → 8.10.1 2019-10-25 07:58:47 +00:00
Vincent Laporte d56582eb2b coq_8_10: enable CoqIDE 2019-10-25 07:58:02 +00:00
Vincent Laporte b4db381443 coq_8_10: 8.10+β3 → 8.10.0
coqPackages.coq-elpi: master → 1.1.0
2019-10-16 02:43:46 +00:00
Vincent Laporte 0cc70b5697 coq: do not build CoqIDE for Coq 8.10
GTK3 at version 3.24.11 has broken pkg-config files
2019-10-16 02:43:46 +00:00
Vincent Laporte 1292f49a37 coq_8_10: do not take “camlp5” as input 2019-10-16 02:43:46 +00:00
Vincent Laporte 325f89ef19 coq_8_10: fix CoqIDE on darwin 2019-10-16 02:43:46 +00:00
Vincent Laporte 8288301636 coq_8_10: 8.10+β2 → 8.10+β3 2019-09-16 11:41:43 -05:00
volth 35d68ef143 treewide: remove redundant quotes 2019-08-26 21:40:19 +00:00
volth c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00:00
Théo Zimmermann 3bc04b576a coq: 8.10+beta1 -> 8.10+beta2 2019-07-14 14:58:49 +00:00
Vincent Laporte 57c3da07eb coq_8_9: 8.9.0 -> 8.9.1 2019-05-29 11:24:45 +02:00
Cyril Cohen d16a78b512 several fixes in coq and coqPackages.mathcomp (and extras) 2019-05-21 08:55:38 +02:00
Vincent Laporte b72daf7117 coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
Vincent Laporte 1ce94fad33 coq: make “coq-version” more general 2019-05-15 10:30:03 +02:00
Vincent Laporte b76961124d coq_8_9: 8.9+beta1 -> 8.9.0 2019-01-24 09:08:51 +00:00
Théo Zimmermann dd21f83950 coq_8_9: init at 8.9+beta1 2018-11-04 07:26:29 +00:00
Jörg Thalheim 8df0ca2bbc
coq_8_4: remove
verasco was its only user
2018-10-30 13:31:11 +00:00
Théo Zimmermann fa12476755
coq: add ocamlPackages in passthru
We might need OCaml packages that are not the one Coq is depending on
but they still need to come from the same package set (same OCaml version).
2018-10-17 13:26:43 +02:00
Théo Zimmermann 2fdd38ed2d
camlp5_transitional: remove in favor of camlp5 (strict) 2018-10-10 19:44:54 +02:00
Théo Zimmermann 34394a38ef
ocamlPackages_3_11_2: remove
This requires removing also the Coq 8.3 and Matita 0.5.8 packages.

Coq 8.3 was released 8 years ago (2010) and there is no trace left
of users of this version (contrary to Coq 8.4, released 2012).
It is well over time to remove it.

Matita 0.5.8 was released in 2010 and because this version was still
used for teaching according to the official website, a legacy release
(0.5.9) was released in 5 years later to compile with more recent
OCaml libraries.
Updating to 0.5.9 (or a more recent version like 0.99.3) should allow
getting rid of the dependency on older OCaml but it is hard to test
given that the package is already broken before this update.
2018-10-08 21:10:05 +02:00
Vincent Laporte 23900febe7 coq: 8.8.1 -> 8.8.2 (#47388) 2018-09-26 22:26:39 +02:00
Théo Zimmermann 314eb884ec
coq_8_8: 8.8.0 -> 8.8.1 2018-06-29 11:10:31 +02:00
Silvan Mosberger 57bccb3cb8 treewide: http -> https sources (#42676)
* treewide: http -> https sources

This updates the source urls of all top-level packages from http to
https where possible.

* buildtorrent: fix url and tab -> spaces
2018-06-28 20:43:35 +02:00
Matthew Justin Bauer 0d8e415d6b
Merge pull request #38969 from vbgl/coq-findlib
coq: fix installation of OCaml libraries
2018-04-20 18:02:52 -05:00
Vincent Laporte 76a43d765c coq: 8.8+beta1 -> 8.8.0 2018-04-18 14:37:04 +02:00
Vincent Laporte caec7dbb9f
coq: fix installation of OCaml libraries 2018-04-15 11:24:17 +00:00
Vincent Laporte 5f97adccdc
coq: move some attributes inside passthru 2018-04-15 11:24:17 +00:00
Vincent Laporte 6845b248d9 coq: init at 8.8+beta1 2018-03-21 18:06:28 +00:00