Initial commit

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
+