Makefile 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  1. INCLUDE = ${MDIR}/include/
  2. MDIR = /usr/local/src/cmurphi
  3. MURPHI = mu
  4. INCLUDEPATH = ${MDIR}/include
  5. CXX = g++
  6. CFLAGS =
  7. OFLAGS = -O2
  8. #Murphi options
  9. MURPHIOPTS = -b -c
  10. all: otrv4 otrv4.cache otrv4.disk
  11. splitfile: otrv4.cache.splitfile otrv4.disk.splitfile
  12. # rules for compiling
  13. otrv4: otrv4.cpp
  14. ${CXX} ${CFLAGS} ${OFLAGS} -o otrv4 otrv4.cpp -I${INCLUDEPATH} -lm
  15. otrv4.cache: otrv4.cache.cpp
  16. ${CXX} ${CFLAGS} ${OFLAGS} -o otrv4.cache otrv4.cache.cpp -I${INCLUDEPATH} -lm
  17. otrv4.cache.splitfile: otrv4.cache.cpp
  18. ${CXX} ${CFLAGS} ${OFLAGS} -o otrv4.cache.splitfile otrv4.cache.cpp -I${INCLUDEPATH} -lm -DSPLITFILE
  19. otrv4.disk.splitfile: otrv4.disk.cpp
  20. ${CXX} ${CFLAGS} ${OFLAGS} -o otrv4.disk.splitfile otrv4.disk.cpp -I${INCLUDEPATH} -lm -DSPLITFILE
  21. otrv4.disk: otrv4.disk.cpp
  22. ${CXX} ${CFLAGS} ${OFLAGS} -o otrv4.disk otrv4.disk.cpp -I${INCLUDEPATH} -lm
  23. otrv4.cpp: otrv4.m
  24. ${MURPHI} otrv4.m
  25. otrv4.cache.cpp: otrv4.m
  26. ${MURPHI} --cache -b -c otrv4.m
  27. mv otrv4.cpp otrv4.cache.cpp
  28. otrv4.disk.cpp: otrv4.m
  29. ${MURPHI} --disk otrv4.m
  30. mv otrv4.cpp otrv4.disk.cpp
  31. clean:
  32. rm -f *.cpp otrv4 otrv4.cache otrv4.disk otrv4.cache.splitfile otrv4.disk.splitfile