13 Commits

Author	SHA1	Message	Date
Vincent Laporte	577c99884d	coqPackages.metalib: enable for Coq 8.16	2022-06-13 11:29:20 +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
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
Vincent Laporte	5e718d7071	coqPackages.metalib: clean & init at 8.15	2022-04-27 11:36:20 +02:00
Vincent Laporte	bcbf6aafbd	coqPackages.metalib: enable for Coq 8.13	2021-05-10 18:57:58 +02:00
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Vincent Laporte	a1f8e0b4a1	coqPackages.metalib: 20170713 → 20200527	2020-09-22 21:53:29 +02:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Vincent Laporte	36e9fe820c	coqPackages_8_9: disable a few packages that do not build	2019-02-08 02:01:32 +01:00
Théo Zimmermann	8c399bd6c1	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	2018-10-19 10:25:09 +02:00
Vincent Laporte	d9f41a5bce	coqPackages: move to a separate file and filter the package set	2017-12-18 15:30:36 +00:00
John Wiegley	bb038283c4	coqPackages.metalib: New expression	2017-11-12 09:34:06 -08:00