-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathMakefile
59 lines (41 loc) · 1.68 KB
/
Makefile
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
ROOT_DIR = $(shell dirname $(realpath $(lastword $(MAKEFILE_LIST))))
ERLC_DIR = $(shell which erlc)
ERLC_PATH = $(shell dirname $(lastword $(ERLC_DIR)))
compile: track
mkdir -p ebin
erlc -W0 -o ebin src/*.erl
track:
make -C csp_tracker
clean:
rm -Rf ebin
run_paper:
erl -pa ebin csp_tracker/ebin -run csp_reversible run examples/ex_paper.csp -noshell -s erlang halt
run1:
erl -pa ebin csp_tracker/ebin -run csp_reversible run examples/ex1.csp -noshell -s erlang halt
run2:
erl -pa ebin csp_tracker/ebin -run csp_reversible run examples/ex2.csp -noshell -s erlang halt
run3:
erl -pa ebin csp_tracker/ebin -run csp_reversible run examples/ex3.csp -noshell -s erlang halt
run4:
erl -pa ebin csp_tracker/ebin -run csp_reversible run examples/ex4.csp -noshell -s erlang halt
run5:
erl -pa ebin csp_tracker/ebin -run csp_reversible run examples/ex5.csp -noshell -s erlang halt
run6:
erl -pa ebin csp_tracker/ebin -run csp_reversible run examples/ex6.csp -noshell -s erlang halt
run7:
erl -pa ebin csp_tracker/ebin -run csp_reversible run examples/ex7.csp -noshell -s erlang halt
run8:
erl -pa ebin csp_tracker/ebin -run csp_reversible run examples/ex8.csp -noshell -s erlang halt
run9:
erl -pa ebin csp_tracker/ebin -run csp_reversible run examples/ex9.csp -noshell -s erlang halt
run10:
erl -pa ebin csp_tracker/ebin -run csp_reversible run examples/ex10.csp -noshell -s erlang halt
update_sm:
cd csp_tracker; git checkout master && git pull
git add csp_tracker
git commit -m "updated csp_tracker repository to latest"
git push
# install:
# @erl -pa ebin -run make_script from_path $(ROOT_DIR) -noshell -s erlang halt
# @chmod +x pn_suite_temp
# @mv -f pn_suite_temp $(ERLC_PATH)/pn_suite