diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 0000000..d502225 --- /dev/null +++ b/makefile @@ -0,0 +1,54 @@ + +OUTPUTDIR = bin +SOURCEDIR = src + + +all: visualwall wallgen wallsolve + + +distclean: + rm -f ${OUTPUTDIR}/testrun + rm -f ${OUTPUTDIR}/visualwall + rm -f ${OUTPUTDIR}/wallgen + rm -f ${OUTPUTDIR}/wallsolve + +clean: + find . -name '*.cmi' -delete + find . -name '*.cmx' -delete + find . -name '*.o' -delete + + +tests: + ocamlfind opt -g -linkpkg -I ${SOURCEDIR} \ + -o ${OUTPUTDIR}/testrun \ + -package zarith \ + ${SOURCEDIR}/poly.mli ${SOURCEDIR}/poly.ml \ + ${SOURCEDIR}/polytest.ml + + +visualwall: + ocamlfind opt -g -linkpkg -I ${SOURCEDIR} \ + -o ${OUTPUTDIR}/visualwall \ + -package lablgtk2,zarith \ + ${SOURCEDIR}/sequence.mli ${SOURCEDIR}/sequence.ml \ + ${SOURCEDIR}/wall.mli ${SOURCEDIR}/wall.ml \ + ${SOURCEDIR}/visualwall.ml + +wallgen: + ocamlfind opt -g -linkpkg -I ${SOURCEDIR} \ + -o ${OUTPUTDIR}/wallgen \ + -package zarith \ + ${SOURCEDIR}/util.mli ${SOURCEDIR}/util.ml \ + ${SOURCEDIR}/wall.mli ${SOURCEDIR}/wall.ml \ + ${SOURCEDIR}/sequence.mli ${SOURCEDIR}/sequence.ml \ + ${SOURCEDIR}/wallgen.ml + +wallsolve: + ocamlfind opt -g -linkpkg -I ${SOURCEDIR} \ + -o ${OUTPUTDIR}/wallsolve \ + -package zarith \ + ${SOURCEDIR}/util.mli ${SOURCEDIR}/util.ml \ + ${SOURCEDIR}/poly.mli ${SOURCEDIR}/poly.ml \ + ${SOURCEDIR}/wall.mli ${SOURCEDIR}/wall.ml \ + ${SOURCEDIR}/wallsolve.ml + |