/
Makefile.in
50 lines (38 loc) · 992 Bytes
/
Makefile.in
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
# where to install the binaries
prefix=/usr/local
exec_prefix=${prefix}
BINDIR=${exec_prefix}/bin
# where to install the man page
MANDIR=${prefix}/share/man
# other variables set by ./configure
OCAMLC = ocamlc
OCAMLOPT = ocamlopt
OCAMLDEP = ocamldep
OCAMLLEX = ocamllex
OCAMLYACC= ocamlyacc
OCAMLLIB = /usr/lib/ocaml
OCAMLBEST= op
OCAMLFLAG= -I src/
SRCS = src/Options.ml src/Util.ml src/Grammar.ml src/CombSys.ml src/OracleSimple.ml src/Tree.ml src/Gen.ml src/GParser.ml src/ArboLib.ml src/Arbogen.ml
all: arbogen
arbogen: $(SRCS)
mkdir bin
$(OCAMLOPT) $(OCAMLFLAG) -o bin/arbogen $(SRCS)
arbogen.byte: $(SRCS)
mkdir bin
$(OCAMLC) $(OCAMLFLAG) -o bin/arbogen.byte $(SRCS)
install:: arbogen
mkdir -p $(BINDIR)
mv bin/arbogen $(BINDIR)
mkdir -p $(MANDIR)/man1
cp -f doc/$(TARGS).1 /usr/local/man/man1/$(TARGS).1
clean:
rm -f src/*~
rm -f src/*.cmi
rm -f src/*.cmx
rm -f src/*.cmo
rm -f src/*.o
cleanall: clean
rm -f bin/arbogen
rm -f bin/arbogen.byte
rm -rf bin