summaryrefslogtreecommitdiff
path: root/Makefile
blob: c8cadd8794b9e0a5ffb755d1c80a37e6f2e4c9d0 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
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 # --registers-description=simple_caller

test_without_plugin: all
	python3 ./tools/tester.py # --registers-description=simple_caller

clean:
	rm -f ./xi
	dune clean