From 7f989404e3a13a51f962827b425976b1853a99a2 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 26 Mar 2013 14:12:20 +0000
Subject: Updated

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2164 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Makefile | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

(limited to 'cparser/Makefile')

diff --git a/cparser/Makefile b/cparser/Makefile
index 3a73ca7c..1479992f 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)
-- 
cgit