ci: fix the salut tests

.gitlab-ci.yml

@@ -11,7 +11,7 @@ build:
     - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
     - eval `opam config env`
     - sudo apt-get update
-    - opam depext sasa rdbgui4sasa kind2 lutin lustre-v6 || echo "not needed for recent opam version"
+    - opam depext sasa rdbgui4sasa kind2 lutin lustre-v6 kind2 z3 || echo "not needed for recent opam version"
     - opam install --deps-only ./sasa.opam ./salut.opam ./rdbgui4sasa.opam
     - make
     - make install

salut.opam

@@ -16,6 +16,7 @@ bug-reports:
   "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
 depends: [
   "sasa"
+  "z3"
   "kind2" { < "1.6" }
 ]
 build: ["dune" "build"]

salut/test/Makefile.inc

@@ -31,7 +31,9 @@ genclean:
 
 LIB=-package algo
 OCAMLOPT=ocamlfind ocamlopt -bin-annot
-LIB_LUS=$(HOME)/sasa/test/lustre/round.lus $(HOME)/sasa/salut/lib/sas.lus
+
+SELF_DIR := $(dir $(lastword $(MAKEFILE_LIST)))
+LIB_LUS=${SELF_DIR}../../test/lustre/round.lus ${SELF_DIR}../lib/sas.lus
 
 # $(HOME)/sasa/test/lustre/oracle_utils.lus