dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
550,017 Commits 3 Branches 0 Tags 4.3 GiB
4d968c70fb
Commit Graph

191 Commits

Author SHA1 Message Date
Pablo Ovelleiro Corral
5c90581563 coq: fix hompage url 
Just a trivial nitpick
 2023-11-02 15:26:30 +01:00
Vincent Laporte
2abfae9e9b coq: 8.17.1 -> 8.18.0 2023-09-21 11:02:55 +02:00
Vincent Laporte
02643fe422 coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
Vincent Laporte
002ffb885a
coq: 8.17.0 → 8.17.1 2023-06-30 06:48:15 +02:00
Théo Zimmermann
2bdeec6f84 coq: use dune_3 
This is needed to build Coq dev and is compatible with all current releases of Coq that require Dune.
 2023-06-14 14:33:36 +02:00
Ali Caglayan
8fe1ea496b coq: 8.16.1 -> 8.17.0 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2023-03-28 08:13:12 +02:00
Felix Buehler
d10e69c86b treewide: deprecate isNull 
https://nixos.org/manual/nix/stable/language/builtins.html#builtins-isNull
 2023-03-06 22:40:04 +01:00
Felix Buehler
cdb39a86e0 treewide: use optionalString 2023-02-13 21:52:34 +01:00
Thomas Gerbet
73599b389c coq: remove undefined attribute ocamlPropagatedNativeBuildInputs in passthru 2023-02-06 17:59:25 +01:00
Pierre Roux
cc1d830b2a
coq_8_17: init at 8.17+rc1 (#209145) 2023-01-06 15:51:50 +01:00
Artturin
685bf1f690 coqPackages.coq: fix typo 
introduced in d1136611
 2022-12-27 20:44:32 +02:00
Vincent Laporte
221b44a071 coq: 8.16.0 → 8.16.1 2022-12-05 09:22:59 +01:00
Vincent Laporte
661ee3a269 coq_8_16: use OCaml 4.14 2022-10-12 20:38:44 +02:00
R. Ryantm
a037a50b46 coq_8_16: 8.16+rc1 -> 8.16.0 2022-09-06 12:15:29 +00:00
Théo Zimmermann
3ea8ed7d7e Split out CoqIDE by default when Coq >= 8.14. 2022-07-10 15:49:44 +02:00
Théo Zimmermann
1014f00cff Prepare Coq derivation for Coq 8.17 build infrastructure. 2022-07-08 14:54:04 +02:00
Sergei Trofimovich
739ab383a5 coq_8_13.src, coq_8_14.src, coq_8_15.src: update hash change with fetchzip update 
fetchzip changed unpacking of UTF-8 files on glibc systems:
    https://github.com/NixOS/nixpkgs/pull/176253
As a result unpacked contents changed it's filenames.

Closes: https://github.com/NixOS/nixpkgs/issues/176225
 2022-06-11 17:16:43 +01:00
Pierre Roux
ecf2791d8b coq_8_16: init at 8.16+rc1 2022-06-08 18:42:10 +02:00
Vincent Laporte
442db9429b coq: 8.15.1 → 8.15.2 2022-06-03 10:45:45 +02:00
Cyril Cohen
d113661156 coqPackages: etc 
- put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies,
- use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path,
- updated `coqPackage.heq` (broken url),
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation,
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place,
- make `metaFetch` available from `coqPackages`
 2022-05-25 20:00:25 +02:00
Vincent Laporte
1f11888116 Revert "coqPackages: etc" 
This reverts commit 7e589a45ef.
 2022-05-13 06:47:14 +02:00
Vincent Laporte
215235cce5 Revert "moving findlib to propagedNativeBuildInputs" 
This reverts commit 82440c9374.
 2022-05-13 06:47:14 +02:00
Cyril Cohen
82440c9374 moving findlib to propagedNativeBuildInputs 2022-05-12 06:11:43 +02:00
Cyril Cohen
7e589a45ef coqPackages: etc 
- use propagatedBuildInputs to make sure ocaml plugin stuff is in path
- updated coqPackage.heq (broken url)
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place
- make metaFetch available from `coqPackages`
 2022-05-12 06:11:43 +02:00
Anders Kaseorg
00e66f10fa coq: Rename internal versionAtLeast helper to coqAtLeast 
To avoid potential confusion with lib.versionAtLeast.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
 2022-04-25 13:35:06 -07:00
Vincent Laporte
3d0a9d1668 coq_8_15: 8.15.0 → 8.15.1 2022-03-24 10:17:42 +01:00
Vincent Laporte
68e4b639a3
Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native 
coq: Move dune, ocaml and findlib to nativeBuildInputs
 2022-02-26 08:54:53 +01:00
K900
cb2cfba6f7 treewide: switch all desktop file generators to new API 
Notably:
- remove explicit arguments that match the defaults
- convert everything to the right Nix types
 2022-02-25 13:40:38 -08:00
Ulrik Strid
7e20e9039e coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true 
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
 2022-02-25 07:54:17 +01:00
Ulrik Strid
48df7cdbba coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhir 2022-02-24 14:39:45 +01:00
Ulrik Strid
4150bf02b5 coq: allow static linking by moving wrapGAppsHook to nativeBuildInputs 
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
 2022-02-18 15:17:04 +01:00
Ben Siraphob
3594565a7e
Merge pull request #156629 from siraben/coq-mainprogram 
coq: add meta.mainProgram
 2022-02-06 21:43:01 +00:00
Ben Siraphob
6ad0e10dd3
coq: add meta.mainProgram 2022-02-06 15:42:47 -06:00
Vincent Laporte
20e7213d16 coq_8_15: 8.15+rc1 → 8.15.0 2022-01-25 10:53:57 +01:00
Vincent Laporte
a160defe64 coq_8_15: init at 8.15+rc1 2021-12-09 15:46:06 +01:00
Vincent Laporte
48406e3fca coq_8_14: 8.14.0 → 8.14.1 
And build Coq ≥ 8.14 with OCaml 4.12
 2021-12-01 13:46:15 +01:00
Théo Zimmermann
e242eef8a4 coq_8_14: 8.14+rc1 -> 8.14.0 2021-10-15 18:50:05 +02:00
Théo Zimmermann
3437b543fd coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
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