From 2ccec5f2d5e7eaacad4b9133d7fe4bf792430613 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Sun, 10 Mar 2019 13:17:03 +0100
Subject: [PATCH] don't hard-code paths

---
 Makefile          | 3 +++
 test/Makefile.inc | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 663dbb6d..be214dee 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 4bc73d8b..46e3852f 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 
-- 
GitLab