diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-03-26 14:12:20 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-03-26 14:12:20 +0000 |
| commit | 7f989404e3a13a51f962827b425976b1853a99a2 (patch) | |
| tree | fb7e951c0bf6f8ac8bfb7a83aa5ee7dd49840b61 /cparser/Makefile | |
| parent | 3f6b5aee7b85cb588093dfe571e2e1606f80235a (diff) | |
Updated
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2164 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/Makefile')
| -rw-r--r-- | cparser/Makefile | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/cparser/Makefile b/cparser/Makefile index 3a73ca7..1479992 100644 --- a/cparser/Makefile +++ b/cparser/Makefile @@ -19,7 +19,6 @@ SRCS=Cerrors.ml Cabs.ml Cabshelper.ml Parse_aux.ml Parser.ml Lexer.ml \ Bitfields.ml PackedStructs.ml \ Parse.ml -COBJS=uint64.o BOBJS=$(SRCS:.ml=.cmo) NOBJS=$(SRCS:.ml=.cmx) IOBJS=$(INTFS:.mli=.cmi) @@ -28,9 +27,9 @@ all: cparser.cma cparser.cmxa cparser cparser.byte install: mkdir -p $(LIBDIR) - cp -p Cparser.cmi cparser.cma cparser.cmxa cparser.a libcparser.a dllcparser.so $(LIBDIR) + cp -p Cparser.cmi cparser.cma cparser.cmxa cparser.a $(LIBDIR) -cparser: $(COBJS) $(NOBJS) Main.cmx +cparser: $(NOBJS) Main.cmx $(OCAMLOPT) -o cparser str.cmxa $(COBJS) $(NOBJS) Main.cmx clean:: @@ -42,11 +41,11 @@ cparser.byte: $(COBJS) $(BOBJS) Main.cmo clean:: rm -f cparser.byte -cparser.cma libcparser.a: uint64.o Cparser.cmo - $(OCAMLMKLIB) -o cparser uint64.o Cparser.cmo +cparser.cma: Cparser.cmo + $(OCAMLC) -a -o cparser.cma Cparser.cmo -cparser.cmxa: uint64.o Cparser.cmx - $(OCAMLMKLIB) -o cparser uint64.o Cparser.cmx +cparser.cmxa: Cparser.cmx + $(OCAMLOPT) -a -o cparser.cmxa Cparser.cmx Cparser.cmo Cparser.cmi: $(IOBJS) $(BOBJS) $(OCAMLC) -pack -o Cparser.cmo $(IOBJS) $(BOBJS) |