Browse Source

Fix some things on Makefile

Sofía Celi 5 years ago
parent
commit
0d29924448
1 changed files with 6 additions and 9 deletions
  1. 6 9
      Makefile

+ 6 - 9
Makefile

@@ -1,12 +1,9 @@
-INCLUDE = ${MDIR}/include/
-
-MDIR = /usr/local/src/cmurphi
-MURPHI = mu
-INCLUDEPATH = ${MDIR}/include
+SRCPATH = /usr/local/src/cmurphi/src/
+INCLUDEPATH = /usr/local/src/cmurphi/include
 
 CXX = g++
 
-CFLAGS = 
+CFLAGS = # -w add this to disable warnings, due to include problems
 
 OFLAGS = -O2
 
@@ -33,14 +30,14 @@ otrv4.disk: otrv4.disk.cpp
 	${CXX} ${CFLAGS} ${OFLAGS} -o otrv4.disk otrv4.disk.cpp -I${INCLUDEPATH} -lm
 
 otrv4.cpp: otrv4.m
-	${MURPHI} otrv4.m
+	${SRCPATH}mu otrv4.m
 
 otrv4.cache.cpp: otrv4.m
-	${MURPHI} --cache -b -c otrv4.m
+	${SRCPATH}mu --cache -b -c otrv4.m
 	mv otrv4.cpp otrv4.cache.cpp
 
 otrv4.disk.cpp: otrv4.m
-	${MURPHI} --disk otrv4.m
+	${SRCPATH}mu --disk otrv4.m
 	mv otrv4.cpp otrv4.disk.cpp
 
 clean: