diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2022-10-30 03:42:11 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2022-10-30 03:42:11 +1300 |
| commit | 95ebd2d6acfa744c5e93287cc6385f4f1359376e (patch) | |
| tree | 87cea8951f3ef00b9ad53679c7fe70c208b0ec62 /makefile | |
| parent | 3f290e0d6c3ef1435253095de2cf53016855840e (diff) | |
wallgen and wallsolve working, visualwall partially done, license added
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 + |