From d730a4ac2151cb7fa2a0ac940a05e4652405e168 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 28 Jan 2021 10:38:46 +0100
Subject: [PATCH] [ci] add opam packages for compiling MdR within CI
---
nix/default.nix | 1 +
1 file changed, 1 insertion(+)
diff --git a/nix/default.nix b/nix/default.nix
index 68154331a2e..9ca06758301 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -4,6 +4,7 @@
let mk_buildInputs = { opamPackages ? [], nixPackages ? [] } :
[ pkgs.gnugrep pkgs.gnused pkgs.autoconf pkgs.gnumake pkgs.gcc pkgs.ncurses pkgs.time pkgs.python3 pkgs.perl pkgs.file pkgs.which pkgs.dos2unix] ++ nixPackages ++ opam2nix.build {
specs = opam2nix.toSpecs ([ "ocamlfind" "zarith" "ocamlgraph" "yojson" "zmq"
+ "ppx_deriving" "ppx_deriving_yojson"
{ name = "coq"; constraint = "=8.12.0"; }
{ name = "alt-ergo" ; constraint = "=2.2.0"; }
{ name = "why3" ; constraint = "=1.3.3"; }
--
GitLab