Initial commit for CI

.gitlab-ci.yml

+stages:
+  - test
+
+tests:
+  stage: test
+  image: ocaml/opam@sha256:c92cd07b0dc0ed07ec1a779545c676f475c12bc646a5e44e3abbf9363caba94b
+  cache:
+    key: $CI_COMMIT_REF_SLUG
+    paths:
+      - _opam
+  script:
+  - if [ ! -d _opam ]; then echo "no local switch in the CI cache, we setup a new switch"; opam switch create --yes --no-install . ocaml-base-compiler.4.11.1; fi
+  - eval `opam config env`
+  - opam install depext --yes
+  - opam --version
+  - opam switch
+  - sudo apt-get update
+  - opam pin --no-action --yes .
+  - opam depext --yes why3 base yojson
+  - opam repository add remote https://opam.ocaml.org
+  - opam update
+  - opam install . --deps-only --with-test --yes
+  - opam depext --yes --install alt-ergo.2.4.0
+  - opam pin https://gitlab.inria.fr/why3/why3.git#autodetection_from_file --yes
+  - make
+  - make test
+  tags:
+    - docker

Makefile

@@ -6,3 +6,9 @@ test:
 
 promote:
 	dune promote --root=.
+
+test:
+	dune runtest
+
+clean:
+	dune clean

caisar.opam

@@ -16,10 +16,11 @@ depends: [
   "menhirLib" {>= "20210310"}
   "ppx_deriving_yojson" {>= "3.6.1"}
   "csv" {>= "2.4"}
+  "why3" {>= "1.4"}
   "odoc" {with-doc}
 ]
 build: [
-  ["dune" "subst" "--root" "."] {dev}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"
@@ -27,8 +28,7 @@ build: [
     name
     "-j"
     jobs
-    "--promote-install-files"
-    "false"
+    "--promote-install-files=false"
     "@install"
     "@runtest" {with-test}
     "@doc" {with-doc}

dune-project

@@ -26,6 +26,7 @@
    (menhirLib (>= 20210310))
    (ppx_deriving_yojson (>= 3.6.1))
    (csv (>= 2.4))
+   (why3 (>= 1.4))
   )
   (sites
    (share stdlib)

nnet.opam

@@ -9,7 +9,7 @@ depends: [
   "odoc" {with-doc}
 ]
 build: [
-  ["dune" "subst" "--root" "."] {dev}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"
@@ -17,8 +17,7 @@ build: [
     name
     "-j"
     jobs
-    "--promote-install-files"
-    "false"
+    "--promote-install-files=false"
     "@install"
     "@runtest" {with-test}
     "@doc" {with-doc}