From b798ac29c37299b2f761243ae92ab8f7c4c4d7f1 Mon Sep 17 00:00:00 2001
From: Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>
Date: Tue, 30 Oct 2018 15:32:56 +0100
Subject: Initial commit

---
 Makefile | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

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
+
-- 
cgit 1.4.1