nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-29 09:04:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
443,375 Commits 191 Branches 125 Tags 9.5 GiB
baf8502f7e
Commit Graph

10 Commits

Author SHA1 Message Date
Vincent Laporte
290df59e84 coqPackages_8_13.smtcoq: fix build by using older make 2023-01-11 08:43:14 +01:00
Vincent Laporte
670a782340 coqPackages_8_13.smtcoq.cvc4: fix build by using older make 2023-01-11 08:43:14 +01:00
Vincent Laporte
91706b1a3f coqPackages_8_13.smtcoq: build cvc4 with gcc10 2022-08-02 21:50:58 +02:00
Ben Siraphob
3de12b0987
smtcoq: fix cvc4 dependency 2022-06-06 00:03:11 -07:00
Ben Siraphob
91dde6efd2
coqPackages.smtcoq: itp22 -> 2021-09-17 2022-06-05 23:22:07 -07: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
f393892bb3
coqPackages.smtcoq: disable for Coq > 8.13 2022-05-07 07:29:33 +02:00
Ben Siraphob
a1244414d5
coqPackages.smtcoq: init at itp22 2022-04-13 19:38:01 -05:00