[ci] add apron suite

.gitlab-ci.yml

@@ -107,7 +107,15 @@ eva-domains:
   <<: *eva_template
   parallel:
     matrix:
-      - CONFIG: ["bitwise","equality","gauges","multidim","octagon","symblocs"]
+      - CONFIG: [
+          "apron",
+          "bitwise",
+          "equality",
+          "gauges",
+          "multidim",
+          "octagon",
+          "symblocs"
+        ]
 
 kernel-tests:
   stage: tests

nix/mlmpfr.nix

@@ -8,7 +8,7 @@
 
 buildDunePackage rec {
   pname = "mlmpfr";
-  version = "4.1.0-bugfix1";
+  version = "4.1.0-bugfix2";
 
   minimumOCamlVersion = "4.04";
 
@@ -16,7 +16,7 @@ buildDunePackage rec {
     owner = "thvnx";
     repo = pname;
     rev = pname+"."+version;
-    sha256 = "13n6spgz5p6jhpjackvfsn33iinpadgr3v4gm63d5195mi9fgn8d";
+    sha256 = "19g26jv6cjinpl5pcjif1ldyaagxlandp3qjajsy8srqg4a5rg0d";
   };
 
   buildInputs = [ gmp mpfr ];

nix/pkgs.nix

@@ -33,6 +33,7 @@ let
     default-config-tests = oself.callPackage ./default-config-tests.nix {};
     e-acsl-tests = oself.callPackage ./e-acsl-tests.nix {};
     eva-default-tests = oself.callPackage ./eva-tests.nix { config = ""; };
+    eva-apron-tests = oself.callPackage ./eva-tests.nix { config = "apron" ; };
     eva-bitwise-tests = oself.callPackage ./eva-tests.nix { config = "bitwise" ; };
     eva-equality-tests = oself.callPackage ./eva-tests.nix { config = "equality" ; };
     eva-gauges-tests = oself.callPackage ./eva-tests.nix { config = "gauges" ; };

nix/why3.nix

@@ -9,6 +9,7 @@
 , zarith
 , menhir
 , menhirLib
+, mlmpfr
 , js_of_ocaml
 , js_of_ocaml-ppx
 , ppx_deriving
@@ -40,6 +41,7 @@ stdenv.mkDerivation rec {
     zarith
     menhir
     menhirLib
+    mlmpfr
     # Emacs compilation of why3.el
     emacs
     # Documentation