diff options
| author | Vincent Laporte | 2019-05-03 12:00:34 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-05-07 14:18:24 +0000 |
| commit | 782312a65310dc717d830b3e8e5a7ba54b4cfb6e (patch) | |
| tree | ac90d47fa9b774654b872d22512a4460b8bdf8f6 /dev | |
| parent | b50bd0f9fd2fedb7dd14edd39baabf2fc3be8e3b (diff) | |
[nix-ci] Add coquelicot, improve flocq
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/nix/coquelicot.nix | 9 | ||||
| -rw-r--r-- | dev/ci/nix/default.nix | 1 | ||||
| -rw-r--r-- | dev/ci/nix/flocq.nix | 1 |
3 files changed, 11 insertions, 0 deletions
diff --git a/dev/ci/nix/coquelicot.nix b/dev/ci/nix/coquelicot.nix new file mode 100644 index 0000000000..d379bfa73d --- /dev/null +++ b/dev/ci/nix/coquelicot.nix @@ -0,0 +1,9 @@ +{ autoconf, automake, ssreflect }: + +{ + buildInputs = [ autoconf automake ]; + coqBuildInputs = [ ssreflect ]; + configure = "./autogen.sh && ./configure"; + make = "./remake"; + clean = "./remake clean"; +} diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix index 17070e66ee..a9cc91170f 100644 --- a/dev/ci/nix/default.nix +++ b/dev/ci/nix/default.nix @@ -72,6 +72,7 @@ let projects = { CoLoR = callPackage ./CoLoR.nix {}; CompCert = callPackage ./CompCert.nix {}; coq_dpdgraph = callPackage ./coq_dpdgraph.nix {}; + coquelicot = callPackage ./coquelicot.nix {}; Corn = callPackage ./Corn.nix {}; cross_crypto = callPackage ./cross_crypto.nix {}; Elpi = callPackage ./Elpi.nix {}; diff --git a/dev/ci/nix/flocq.nix b/dev/ci/nix/flocq.nix index e153043557..71028ec2dc 100644 --- a/dev/ci/nix/flocq.nix +++ b/dev/ci/nix/flocq.nix @@ -4,4 +4,5 @@ buildInputs = [ autoconf automake ]; configure = "./autogen.sh && ./configure"; make = "./remake"; + clean = "./remake clean"; } |