Makefile

   1 OCAMLC=ocamlc -I cparser
   2 OCAMLOPT=ocamlopt -I cparser
   3
   4 CMOS=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
   6 CMXS=$(CMOS:.cmo=.cmx)
   7
   8 byte:
   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
  19 opt:
  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
  30 clean:
  31         make -C cparser clean
  32         make -C extracted clean
  33         rm -f *.cmi *.cmo *.cmx acc