summaryrefslogblamecommitdiff
path: root/Makefile
blob: c6077e0832d3a7db38eeb88373e41b79636e84e4 (plain) (tree)



























                                                                                                                            
.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