Clean-up the CI script (removing unnecessary packages)

.gitlab-ci.yml

@@ -55,9 +55,11 @@ test_opam_test:
     - opam repo add opam-ocaml-org "https://opam.ocaml.org"
     - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
     - sudo apt-get update
-    - sudo apt-get install -y libgmp-dev libmpfr-dev m4 python graphviz
+    - sudo apt-get install -y libgmp-dev libmpfr-dev
+    - sudo apt-get install -y python graphviz
     - opam update
-    - opam install -y camlp4 num ocamlfind extlib mlgmpidl # XXX imposer des versions recentes !
+    - opam install -y mlgmpidl # necessary, otherwise, camlidl_malloc
+                               # is undefined in the generated (rdbg) cmxs files!
     - opam install -y rdbg
     - opam install -y lustre-v6
     - make lustre_test

_oasis

 OASISFormat: 0.4
 Name:        rdbg
-Version:     1.159
+Version:     1.160
 Authors:     Erwan Jahier
 Maintainers: erwan.jahier@univ-grenoble-alpes.fr
 License:     GPL-3

src/rdbgVersion.ml

-let str="1.159"
-let sha="25e0543"
+let str="1.160"
+let sha="07845c7"
 let branch="work"