diff --git a/Makefile b/Makefile index 663dbb6dd223a1e0754e39eee28a11e2b064ac3c..be214dee362cb893f4bba6ff9185e81f4d94e2d4 100644 --- a/Makefile +++ b/Makefile @@ -10,7 +10,10 @@ build: test: cd test; make + clean: rm -f *.cmxs sasa *.cmi *.o *.cmx *.pdf dune clean cd test; make clean + +-include Makefile.local diff --git a/test/Makefile.inc b/test/Makefile.inc index 4bc73d8b33e8898efcb1aed36624a8c3d565dec3..46e3852fe448d05ced2b212eb5349a6e96f05b40 100644 --- a/test/Makefile.inc +++ b/test/Makefile.inc @@ -1,7 +1,7 @@ -# Time-stamp: <modified the 10/03/2019 (at 12:09) by Erwan Jahier> +# Time-stamp: <modified the 10/03/2019 (at 13:11) by Erwan Jahier> -DIR=~/sasa/_build/install/default +DIR=../../_build/install/default sasa=$(DIR)/bin/sasa LIB=-I $(DIR)/lib/algo