dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
678,727 Commits 3 Branches 0 Tags 4.3 GiB
8605bedf86
Commit Graph

28 Commits

Author SHA1 Message Date
damhiya
b3a97d4e1f coqPackages.compcert: use external MenhirLib 2024-08-20 14:58:36 +02:00
Sigmanificient
63d05d989e pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
Pierre Roux
a9e5f6bfcd
coqPackages: Enable override with dev branches (#329356) 
Useful for CI applications.
 2024-07-23 11:49:28 +02:00
Vincent Laporte
8abb1f5afb compcert: add support for Coq 8.19.2 2024-06-17 09:15:12 +02:00
Sigmanificient
8b473d1a27 treewide: remove unused fetch* (and other) arguments 2024-05-30 13:36:48 +02:00
Vincent Laporte
9c479cf090
compcert: 3.13.1 → 3.14 (#308752) 2024-05-03 14:47:10 +00:00
Vincent Laporte
d3babf24b7 compcert: make compatible with Coq 8.18–8.19 2024-03-23 07:25:06 +01:00
Steven Keuchel
033ae0168a compcert: add riscv-linux targets 2024-03-12 11:12:32 +01:00
Vincent Laporte
2ec2d68238 coqPackages.VST: 2.12 → 2.13 
coqPackages.compcert: 3.13 → 3.13.1
 2023-11-27 03:57:47 +01:00
Weijia Wang
85fd874639 compcert: add aarch64 support 2023-09-19 13:30:30 +02:00
Vincent Laporte
84637a672b coqPackages.compcert: enable for Coq 8.17 2023-07-17 07:47:50 +02:00
Vincent Laporte
5c514d49ca coqPackages.compcert: 3.12 → 3.13 2023-07-17 07:47:50 +02:00
Vincent Laporte
82d2212d29 compcert: 3.11 → 3.12 2023-03-01 09:45:31 +00:00
Ulrik Strid
376e9ceead treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
Shawn8901
4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Vincent Laporte
3eb6874bda compcert: add support for Coq 8.16.1 2022-12-05 09:22:59 +01:00
Vincent Laporte
a861c34a3e coqPackages.compcert: enable for Coq 8.16 2022-10-11 07:49:52 +02:00
Vincent Laporte
fa3c3c1a33 coqPackages.flocq: 3.4.3 → 4.1.0 
compcert: 3.10 → 3.11

coqPackages.VST: 2.9 → 2.10
 2022-07-19 06:52:13 +02:00
Vincent Laporte
73812431fb compcert: add support for Coq 8.15.2 2022-06-03 10:45:45 +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
9e4d58db80 compcert: add support for Coq 8.15.1 2022-03-24 10:17:42 +01:00
Vincent Laporte
c845a272a5 coqPackages.compcert: enable for Coq 8.15 
and make version 3.9 the default for Coq 8.12
 2022-02-16 08:03:02 +01:00
Vincent Laporte
3b1c4a732f compcert: fix for Coq 8.14.1 2021-12-01 15:43:53 +01:00
Vincent Laporte
5b861824b3 compcert: 3.9 → 3.10 
Enable for Coq 8.14

Use default version of OCaml (instead of 4.05)

VST is not ready for CompCert 3.10, so it still uses 3.9
 2021-11-29 08:45:34 +01:00
Ben Siraphob
c1cb31af6b coqPackages.VST: 2.7.1 -> 2.8 2021-06-18 10:39:33 +02:00
Théo Zimmermann
2bbf6c8687
Move CompCert into coqPackages. (#126214) 
* compcert: preparation to move in coqPackages

* compcert: move into coqPackages

* compcert: remove version 3.7

As a consequence, also remove VST version 2.6

These were broken.
 2021-06-14 14:21:41 +02:00