source: driver/Makefile

Last change on this file was 3094, checked in by sacerdot, 7 years ago

Makefile with targets: byte opt clean

  • Property svn:executable set to *
File size: 960 bytes
Line 
1OCAMLC=ocamlc -I cparser
2OCAMLOPT=ocamlopt -I cparser
3
4CMOS=extracted.cmo clightFromC.cmo clightParser.cmo IntelHex.cmo clightPrinter.cmo rTLabsPrinter.cmo ASMPrinter.cmo printer.cmo error.cmo optionsParsing.cmo options.cmo acc.cmo
5
6CMXS=$(CMOS:.cmo=.cmx)
7
8byte:
9        make -C cparser cparser.cma
10        make -C extracted byte
11        cp extracted/_build/extracted.cm[io] .
12        ${OCAMLC} -c -g *.mli
13        ${OCAMLC} -c -g error.ml
14        ${OCAMLC} -c -g optionsParsing.ml
15        ${OCAMLC} -c -g options.ml
16        ${OCAMLC} -c -g *.ml
17        ${OCAMLC} -custom -g cparser/cparser.cma ${CMOS} -o acc
18
19opt:
20        make -C cparser cparser.cmxa
21        make -C extracted opt
22        cp extracted/_build/extracted.cm[ix] extracted/_build/extracted.o .
23        ${OCAMLOPT} -c -g *.mli
24        ${OCAMLOPT} -c -g error.ml
25        ${OCAMLOPT} -c -g optionsParsing.ml
26        ${OCAMLOPT} -c -g options.ml
27        ${OCAMLOPT} -c -g *.ml
28        ${OCAMLOPT} -g cparser/cparser.cmxa ${CMXS} -o acc.opt
29
30clean:
31        make -C cparser clean
32        make -C extracted clean
33        rm -f *.cmi *.cmo *.cmx acc
Note: See TracBrowser for help on using the repository browser.