nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-26 17:03:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
620,213 Commits 234 Branches 124 Tags 7.6 GiB
30f208309c
Commit Graph

14 Commits

Author SHA1 Message Date
Ben Siraphob
ea5f5df1c7
coqPackages.smtcoq: expand to more supported versions 2024-02-12 15:40:25 -05:00
Vincent Laporte
6088947f52 coqPackages.smtcoq.cvc4: fix build by building CLN in the same stdenv 2024-01-18 14:24:48 +01:00
Vincent Laporte
1662bbb5fb coqPackages.smtcoq.cvc4: fix build with bash 5.2 
See: 4d85cedf5a
 2023-03-01 10:02:09 +00:00
Shawn8901
4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
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