diff --git a/test/Makefile.inc b/test/Makefile.inc index 0550e3a423793cd23fca4e029f7beaab56e77a28..a72fa5880b9bba7b63e38b5789143d2527936d7b 100644 --- a/test/Makefile.inc +++ b/test/Makefile.inc @@ -1,12 +1,13 @@ -# Time-stamp: <modified the 23/10/2019 (at 15:32) by Erwan Jahier> +# Time-stamp: <modified the 27/01/2020 (at 22:40) by Erwan Jahier> DIR=../../_build/install/default sasa=$(DIR)/bin/sasa -l 100 +sasa=sasa LIB=-package algo -.PRECIOUS: .ml +.PRECIOUS: %.ml %.ml: %.dot sasa -reg $<