-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMakefile
executable file
·83 lines (62 loc) · 1.55 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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
###############################################################
#
# Inspeqtor
#
# Blublu
#
# LSV
# Author: Etienne Andre
# Created: 2009/04/27
# Last modified: 2009/04/28
# Ocaml version: 3.09.3
###############################################################
# CONSTANTS
OCAMLIB_PATH = /usr/lib/ocaml
# FILES
.PREFIXES : +.
.SUFFIXES : .cmo .cmi .ml .mli
FILES = Global.+ Constraint.+ AbstractStructure.+ InspeqtorLexer.+ InspeqtorParser.+ InspeqtorPrinter.+ INSPEQTOR.+
FILESCMI = Global.cmi Constraint.cmi AbstractStructure.cmi
all:
make parser
make compil
make rmtpf
make rmuseless
header:
ocamlc -c Global.mli
ocamlc -c Global.ml
ocamlc -c Constraint.mli
ocamlc -c Constraint.ml
ocamlc -c AbstractStructure.mli
ocamlc -c AbstractStructure.ml
parser:
make header
ocamllex InspeqtorLexer.mll # generates InspeqtorLexer.ml
ocamlyacc InspeqtorParser.mly # generates InspeqtorParser.ml and InspeqtorParser.mli
compil:
make header
ocamlc -c InspeqtorParser.mli
ocamlc -c InspeqtorLexer.ml
ocamlc -c InspeqtorParser.ml
ocamlc -c InspeqtorPrinter.mli
ocamlc -c InspeqtorPrinter.ml
ocamlc -c INSPEQTOR.ml
ocamlc -I $(OCAMLIB_PATH) nums.cma str.cma unix.cma -o INSPEQTOR $(FILES:+=cmo)
exe:
make compil
make rmtpf
make rmuseless
./INSPEQTOR
count:
make clean
python lineCounter.py
clean:
make rmtpf
make rmuseless
rm -rf InspeqtorLexer.ml InspeqtorParser.ml InspeqtorParser.mli
rm -rf INSPEQTOR
rmuseless:
rm -rf $(FILES:+=cmo) $(FILES:+=cmi) $(FILES:+=o)
rm -rf $(FILESCMI)
rmtpf:
rm -rf *~