-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
43 lines (34 loc) · 925 Bytes
/
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
CC = gcc
.PHONY: cmod.native
cmod.native:
ocamlbuild -use-ocamlfind -pkgs llvm,llvm.analysis -cflags -w,+a-4 \
cmod.native
.PHONY: test_grammar
test_grammar:
ocamllex scannerprint.mll
python tests/grammar_tests/testAllPretty.py
.PHONY: test_compiler_travis
test_compiler_travis:
export LLI="/usr/lib/llvm-3.8/bin/lli"
./testall.sh -v
special_arith.o: special_arith.c
clang -I/usr/local/opt/openssl/include -c special_arith.c
access.o: access.c
clang -I/usr/local/opt/openssl/include -c access.c
access: access.o
clang access.o -lcrypto -o access
cmc:
mkdir bin
cp cmc.sh ./bin/cmc
chmod +x ./bin/cmc
.PHONY: clean
clean :
ocamlbuild -clean
rm -rf testall.log *.diff cmod scanner.ml parser.ml parser.mli
rm -rf *.cmx *.cmi *.cmo *.cmx *.o
rm -rf *.err *.ll *.diff *.out
-rm -f scannerprint.ml *.tmp
rm -f *.exe *.s
rm -rf bin
.PHONY : all
all : clean cmod.native special_arith.o access.o cmc