diff options
Diffstat (limited to 'dev/ci/nix/CompCert.nix')
| -rw-r--r-- | dev/ci/nix/CompCert.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dev/ci/nix/CompCert.nix b/dev/ci/nix/CompCert.nix new file mode 100644 index 0000000000..db1721e5f5 --- /dev/null +++ b/dev/ci/nix/CompCert.nix @@ -0,0 +1,7 @@ +{ ocamlPackages }: + +{ + buildInputs = with ocamlPackages; [ ocaml findlib menhir ]; + configure = "./configure -ignore-coq-version x86_64-linux"; + make = "make all check-proof"; +} |