11 Commits

Author	SHA1	Message	Date
Shawn8901	4dcb03a5c3	treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-21 23:19:48 +01: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
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Robin Gloster	2157dcd141	treewide: installFlags is a list	2019-12-30 13:22:43 +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	6845b248d9	coq: init at 8.8+beta1	2018-03-21 18:06:28 +00:00
John Wiegley	7821d15299	coqPackages.domains: new expression	2014-10-11 22:01:46 -05:00
John Wiegley	904bee0c46	coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions	2014-10-11 17:24:59 -05:00