From 7e014333c57bdede663e490743bc84f696764381 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Fri, 14 Sep 2018 14:27:39 +0000
Subject: Helpers for debugging external projects from CI

---
 dev/ci/nix/CompCert.nix | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 dev/ci/nix/CompCert.nix

(limited to 'dev/ci/nix/CompCert.nix')

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";
+}
-- 
cgit v1.2.3