Imported Upstream version 0.1

[pkg-cerco/acc-trusted.git] / cparser / Makefile

diff --git a/cparser/Makefile b/cparser/Makefile
new file mode 100644 (file)
index 0000000..9b331b9
--- /dev/null
+++ b/cparser/Makefile
@@ -0,0 +1,86 @@
+OCAMLC=ocamlc -g
+OCAMLOPT=ocamlopt -g
+OCAMLLEX=ocamllex
+OCAMLYACC=ocamlyacc -v
+OCAMLDEP=ocamldep
+OCAMLMKLIB=ocamlmklib
+
+LIBDIR=../lib
+
+INTFS=C.mli
+
+SRCS=Errors.ml Cabs.ml Cabshelper.ml Parse_aux.ml Parser.ml Lexer.ml \
+  Machine.ml \
+  Env.ml Cprint.ml Cutil.ml Ceval.ml \
+  Builtins.ml GCC.ml CBuiltins.ml \
+  Cleanup.ml Elab.ml Rename.ml \
+  Transform.ml \
+  Unblock.ml SimplExpr.ml AddCasts.ml StructByValue.ml StructAssign.ml \
+  Bitfields.ml \
+  Parse.ml 
+
+COBJS=uint64.o
+BOBJS=$(SRCS:.ml=.cmo)
+NOBJS=$(SRCS:.ml=.cmx)
+IOBJS=$(INTFS:.mli=.cmi)
+NATIVETARGETS=$(shell if `which ocamlopt`; \
+               then echo "cparser.cmxa cparser cparser.a libcparser.a dllcparser.so"; fi)
+
+all: $(NATIVETARGETS) cparser.cma cparser.byte
+
+install:
+       mkdir -p $(LIBDIR)
+       cp -p Cparser.cmi cparser.cma $(NATIVETARGETS) $(LIBDIR)
+
+cparser: $(COBJS) $(NOBJS) Main.cmx
+       $(OCAMLOPT) -o cparser $(COBJS) $(NOBJS) Main.cmx
+
+cparser.byte: $(COBJS) $(BOBJS) Main.cmo
+       $(OCAMLC) -custom -o cparser.byte $(COBJS) $(BOBJS) Main.cmo
+
+cparser.cma libcparser.a: uint64.o Cparser.cmo 
+       $(OCAMLMKLIB) -o cparser uint64.o Cparser.cmo
+
+cparser.cmxa: uint64.o Cparser.cmx
+       $(OCAMLMKLIB) -o cparser uint64.o Cparser.cmx
+
+Cparser.cmo Cparser.cmi: $(IOBJS) $(BOBJS)
+       $(OCAMLC) -pack -o Cparser.cmo $(IOBJS) $(BOBJS)
+
+Cparser.cmx: $(IOBJS) $(NOBJS)
+       $(OCAMLOPT) -pack -o Cparser.cmx $(IOBJS) $(NOBJS)
+
+Parser.ml Parser.mli: Parser.mly
+       $(OCAMLYACC) Parser.mly
+
+clean::
+       rm -f Parser.ml Parser.mli Parser.output
+
+beforedepend:: Parser.ml Parser.mli
+
+Lexer.ml: Lexer.mll
+       $(OCAMLLEX) Lexer.mll
+
+clean::
+       rm -f Lexer.ml
+
+beforedepend:: Lexer.ml
+
+.SUFFIXES: .ml .mli .cmi .cmo .cmx
+
+.mli.cmi:
+       $(OCAMLC) -c $*.mli
+.ml.cmo:
+       $(OCAMLC) -c $*.ml
+.ml.cmx:
+       $(OCAMLOPT) -c -for-pack Cparser $*.ml
+.c.o:
+       $(OCAMLC) -c $*.c
+
+clean::
+       rm -f *.cm? *.o *.so *.a *.cmxa *.byte cparser
+
+depend: beforedepend
+       $(OCAMLDEP) *.mli *.ml > .depend
+
+include .depend