From f1d236b83003eda71e12840732d159fd23b1b771 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 29 Apr 2014 13:58:18 +0000
Subject: Integration of Jacques-Henri Jourdan's verified parser. (Merge of
 branch newparser.)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Makefile | 89 --------------------------------------------------------
 1 file changed, 89 deletions(-)
 delete mode 100644 cparser/Makefile

(limited to 'cparser/Makefile')

diff --git a/cparser/Makefile b/cparser/Makefile
deleted file mode 100644
index 1479992f..00000000
--- a/cparser/Makefile
+++ /dev/null
@@ -1,89 +0,0 @@
-OCAMLC=ocamlc -g
-OCAMLOPT=ocamlopt -g
-OCAMLLEX=ocamllex
-OCAMLYACC=ocamlyacc -v
-OCAMLDEP=ocamldep
-OCAMLMKLIB=ocamlmklib
-
-LIBDIR=`$(OCAMLC) -where`/cparser
-
-INTFS=C.mli
-
-SRCS=Cerrors.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 \
-  Cleanup.ml Elab.ml Rename.ml \
-  Transform.ml \
-  Unblock.ml StructReturn.ml \
-  Bitfields.ml PackedStructs.ml \
-  Parse.ml
-
-BOBJS=$(SRCS:.ml=.cmo)
-NOBJS=$(SRCS:.ml=.cmx)
-IOBJS=$(INTFS:.mli=.cmi)
-
-all: cparser.cma cparser.cmxa cparser cparser.byte
-
-install:
-	mkdir -p $(LIBDIR)
-	cp -p Cparser.cmi cparser.cma cparser.cmxa cparser.a $(LIBDIR)
-
-cparser: $(NOBJS) Main.cmx
-	$(OCAMLOPT) -o cparser str.cmxa $(COBJS) $(NOBJS) Main.cmx
-
-clean::
-	rm -f cparser
-
-cparser.byte: $(COBJS) $(BOBJS) Main.cmo
-	$(OCAMLC) -custom -o cparser.byte str.cma $(COBJS) $(BOBJS) Main.cmo
-
-clean::
-	rm -f cparser.byte
-
-cparser.cma: Cparser.cmo 
-	$(OCAMLC) -a -o cparser.cma Cparser.cmo
-
-cparser.cmxa: Cparser.cmx
-	$(OCAMLOPT) -a -o cparser.cmxa 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? *.cmxa *.o *.so *.a
-
-depend: beforedepend
-	$(OCAMLDEP) *.mli *.ml > .depend
-
-include .depend
-- 
cgit