diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..c6077e0 --- /dev/null +++ b/Makefile @@ -0,0 +1,28 @@ +.PHONY: all compile clean test +BUILD_PATH_XI=./_build/install/default/bin/xi +BUILD_PATH_MOD_UWR=./_build/install/default/lib/mod_uwr/mod_uwr.cma +BUILD_PATH_MOD_STUDENT=./_build/install/default/lib/mod_student/mod_student.cma +all: compile + +compile: + dune build + +install: all + rm -f ./xi + rm -rf mods + mkdir mods + if [ -e ${BUILD_PATH_MOD_STUDENT} ]; then (cd mods; ln -s ../${BUILD_PATH_MOD_STUDENT} .); fi + if [ -e ${BUILD_PATH_MOD_UWR} ]; then (cd xisdk; rm -f mod_uwr.cma; ln -s ../${BUILD_PATH_MOD_UWR} .); fi + if [ -e ${BUILD_PATH_MOD_STUDENT} ]; then (cd mods; rm -f mod_student.cma; ln -s ../${BUILD_PATH_MOD_STUDENT} .); fi + ln -s ${BUILD_PATH_XI} ./xi + +test: all + python3 ./tools/tester.py --plugin mods/mod_student.cma + +test_without_plugin: all + python3 ./tools/tester.py + +clean: + rm -f ./xi + dune clean + |