5 Commits

Author	SHA1	Message	Date
Kenji Maillard	b9da0d3852	first release of Metacoq	2022-07-20 16:52:11 +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
Kenji Maillard	86a6908045	coqPackages.metacoq: create package (#162639)	2022-05-03 09:26:34 +02:00