Blame view

walenty/makefile 1.09 KB
Wojciech Jaworski authored
1
2
3
4
5
OCAMLC=ocamlc
OCAMLOPT=ocamlopt
OCAMLDEP=ocamldep
INCLUDES=-I +xml-light -I +xlib -I +zip -I +bz2 -I +eniam
OCAMLFLAGS=$(INCLUDES) -g
Wojciech Jaworski authored
6
OCAMLOPTFLAGS=$(INCLUDES) unix.cmxa xml-light.cmxa str.cmxa nums.cmxa zip.cmxa bz2.cmxa xlib.cmxa
Wojciech Jaworski authored
7
8
INSTALLDIR=`ocamlc -where`/eniam
Wojciech Jaworski authored
9
SOURCES=entries.ml ENIAMwalTypes.ml ENIAMwalStringOf.ml ENIAMwalTEI.ml ENIAMwalConnect.ml ENIAMwalRealizations.ml ENIAMwalLex.ml
Wojciech Jaworski authored
10
Wojciech Jaworski authored
11
all: $(SOURCES) ENIAMwalGenerate.ml
Wojciech Jaworski authored
12
	$(OCAMLOPT) -o converter $(OCAMLOPTFLAGS) $^
Wojciech Jaworski authored
13
Wojciech Jaworski authored
14
15
16
17
analyze: $(SOURCES) ENIAMwalAnalyze.ml
	mkdir -p results
	$(OCAMLOPT) -o analyze $(OCAMLOPTFLAGS) $^
Wojciech Jaworski authored
18
install:
Wojciech Jaworski authored
19
20
21
	mkdir -p /usr/share/eniam/Walenty
	cp resources/*  /usr/share/eniam/Walenty
Wojciech Jaworski authored
22
23
24
25
install-local:
	mkdir -p /usr/local/share/eniam/Walenty
	cp resources/*  /usr/local/share/eniam/Walenty
Wojciech Jaworski authored
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
.SUFFIXES: .mll .mly .ml .mli .cmo .cmi .cmx

.mll.ml:
	ocamllex $<

.mly.mli:
	ocamlyacc $<

.mly.ml:
	ocamlyacc $<

.ml.cmo:
	$(OCAMLC) $(OCAMLFLAGS) -c $<

.mli.cmi:
	$(OCAMLC) $(OCAMLFALGS) -c $<

.ml.cmx:
	$(OCAMLOPT) $(OCAMLOPTFLAGS) -c $<

clean:
Wojciech Jaworski authored
47
	rm -f *~ *.cm[aoix] *.o *.so *.cmxa *.a converter analyze resources/*.tab results/*