diff --git a/salut/test/Makefile.inc b/salut/test/Makefile.inc
index 7f60971092a9ea9e748ee4ed16a86802a124c8eb..d7143089f430bcb22a89ac695ebeaa5a3c6b6f07 100644
--- a/salut/test/Makefile.inc
+++ b/salut/test/Makefile.inc
@@ -35,9 +35,9 @@ LIB=-package algo
 OCAMLOPT=ocamlfind ocamlopt -bin-annot
 
 
-GITROOT=$(shell git rev-parse --show-toplevel)
-LIB_LUS=$(GITROOT)/test/lustre/round.lus $(GITROOT)/salut/lib/sas.lus
-RUN_KIND2=$(GITROOT)/salut/test/run-kind2.sh
+ROOTDIR=$(shell git rev-parse --show-toplevel || echo "../..")
+LIB_LUS=$(ROOTDIR)/test/lustre/round.lus $(ROOTDIR)/salut/lib/sas.lus
+RUN_KIND2=$(ROOTDIR)/salut/test/run-kind2.sh
 
 ##########################################################################################"
 # Simulations
@@ -74,7 +74,7 @@ RUN_KIND2=$(GITROOT)/salut/test/run-kind2.sh
 
 ##########################################################################################"
 # model-checking with kind2
-# nb: it's probably better to use $(GITROOT)/salut/run-kind2.sh instead
+# nb: it's probably better to use $(ROOTDIR)/salut/run-kind2.sh instead
 
 ifndef $(prop)
 prop = verify
@@ -136,8 +136,8 @@ endif
 %_verify.ec: %.dot verify.lus
 	make $*_const.lus
 	lv6  $(LIB_LUS) $*.lus $*_const.lus verify.lus -n $(prop) -ec -o $@.tmp
-	echo "include \"$(GITROOT)/salut/lib/bit-blast/signed_binary6.lus\"" > $@.tmp2
-	echo "include \"$(GITROOT)/salut/lib/bit-blast/binary.lus\"" >> $@.tmp2
+	echo "include \"$(ROOTDIR)/salut/lib/bit-blast/signed_binary6.lus\"" > $@.tmp2
+	echo "include \"$(ROOTDIR)/salut/lib/bit-blast/binary.lus\"" >> $@.tmp2
 	ec2ec -usrint $@.tmp >> $@.tmp2
 	cat $@.tmp2 | tr '\n' '@' |sed "s/tel@/tel/g" | sed "s/@/\\n/g" | sed "s/tel-- end of node verify/--%MAIN ;\n--%PROPERTY ok;\ntel\n/"  > $@.tmp
 	mv $@.tmp $@ ; rm  $@.tmp2