Commit Graph

153 Commits

Author SHA1 Message Date
Naïm Favier
b2391a51d2 coq: add desktop file for coqide 2021-09-23 14:39:50 +02:00
Ben Siraphob
7c1d4d8255 coq: enable parallel building 2021-07-22 02:04:47 +07:00
Théo Zimmermann
cc84f3906e coq: fix issue introduced in #128603
This triggerred coq-community/coq-nix-toolbox#42.
2021-06-30 16:38:39 +02:00
Théo Zimmermann
d3bb50e7da
Coq: adapt for upcoming 8.14 (#128603) 2021-06-30 04:47:31 +02:00
Jan Tojnar
468cb5980b gnome: rename from gnome3
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
2021-05-08 09:47:42 +02:00
Vincent Laporte
ab16ad8764 coq_8_13: 8.13.1 → 8.13.2 2021-04-16 22:32:31 +02:00
Paul Liétar
6f8eb1e65a coq: enable coqide on darwin
This was disabled a while ago, when itstool was broken on darwin.
Now that itstool works again, it can be re-enabled.
2021-03-23 08:17:13 +01:00
Samuel Gräfenstein
9517398973
treewide: gnome3.defaultIconTheme -> gnome3.adwaita-icon-theme
Fix building with `config.allowAliases = false;`.
2021-03-17 00:00:15 +01:00
Vincent Laporte
cd43a53947 coq_8_13: 8.13.0 → 8.13.1 2021-03-02 09:04:40 +01:00
Jarl G. Taxerås Flaten
813d14b9b7
coq: 8.13+beta1 -> 8.13.0 (#109479) 2021-02-03 08:34:47 +01:00
Ben Siraphob
82454e9df8 treewide: remove implicit use of stdenv.lib 2021-01-27 20:04:57 +07:00
Ben Siraphob
3bbad8b041 treewide: remove inherited stdenv.lib 2021-01-27 12:44:43 +07: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
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