diff options
| author | Théo Zimmermann | 2020-06-10 18:28:35 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-10 19:21:03 +0200 |
| commit | 89d65078a1a35558a9e5f934ef6074d8671db811 (patch) | |
| tree | 203124827d790f1dbc0f07093af5708eedc52599 /dev | |
| parent | 95be052f60b1b6b4cc0b12e92b3d1b86b5bd7ca9 (diff) | |
[dev/ci/nix] Support for building the Gappa plugin.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/nix/default.nix | 14 | ||||
| -rw-r--r-- | dev/ci/nix/gappa.nix | 9 |
2 files changed, 22 insertions, 1 deletions
diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix index b3ced999f6..05624ff4a1 100644 --- a/dev/ci/nix/default.nix +++ b/dev/ci/nix/default.nix @@ -74,9 +74,20 @@ let Verdi = (coqPackages.Verdi.override { inherit Cheerios ssreflect; }) src = fetchTarball "https://github.com/uwplse/verdi/tarball/master"; }); in +let flocq = coqPackages.flocq.overrideAttrs (o: { + src = fetchTarball "https://gitlab.inria.fr/flocq/flocq/-/archive/master/flocq-master.tar.gz"; + configurePhase = '' + autoreconf + ${bash}/bin/bash configure --libdir=$out/lib/coq/${coq.coq-version}/user-contrib/Flocq + ''; + buildPhase = '' + ./remake + ''; + }); in + let callPackage = newScope { inherit coq bignums coq-ext-lib coqprime corn iris math-classes - mathcomp simple-io ssreflect stdpp unicoq Verdi; + mathcomp simple-io ssreflect stdpp unicoq Verdi flocq; }; in # Environments for building CI libraries with this Coq @@ -93,6 +104,7 @@ let projects = { fiat_crypto = callPackage ./fiat_crypto.nix {}; flocq = callPackage ./flocq.nix {}; formal-topology = callPackage ./formal-topology.nix {}; + gappa = callPackage ./gappa.nix {}; GeoCoq = callPackage ./GeoCoq.nix {}; HoTT = callPackage ./HoTT.nix {}; iris = callPackage ./iris.nix {}; diff --git a/dev/ci/nix/gappa.nix b/dev/ci/nix/gappa.nix new file mode 100644 index 0000000000..8560cc072b --- /dev/null +++ b/dev/ci/nix/gappa.nix @@ -0,0 +1,9 @@ +{ autoconf, automake, ocaml, flocq }: + +{ + buildInputs = [ autoconf automake ocaml ]; + coqBuildInputs = [ flocq ]; + configure = "autoreconf && ./configure"; + make = "./remake"; + clean = "./remake clean"; +} |