From a15858a0a8fcea82db02fe8c9bd2ed912210419f Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 18 Aug 2010 09:06:55 +0000 Subject: Merge of branches/full-expr-4: - Csyntax, Csem: source C language has side-effects within expressions, performs implicit casts, and has nondeterministic reduction semantics for expressions - Cstrategy: deterministic red. sem. for the above - Clight: the previous source C language, with pure expressions. Added: temporary variables + implicit casts. - New pass SimplExpr to pull side-effects out of expressions (previously done in untrusted Caml code in cparser/) - Csharpminor: added temporary variables to match Clight. - Cminorgen: adapted, removed cast optimization (moved to back-end) - CastOptim: RTL-level optimization of casts - cparser: transformations Bitfields, StructByValue and StructAssign now work on non-simplified expressions - Added pretty-printers for several intermediate languages, and matching -dxxx command-line flags. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1467 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cparser/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'cparser/Makefile') diff --git a/cparser/Makefile b/cparser/Makefile index 59d4b474..f4c12744 100644 --- a/cparser/Makefile +++ b/cparser/Makefile @@ -40,7 +40,7 @@ cparser.byte: $(COBJS) $(BOBJS) Main.cmo $(OCAMLC) -custom -o cparser.byte str.cma $(COBJS) $(BOBJS) Main.cmo clean:: - rm -f cparser + rm -f cparser.byte cparser.cma libcparser.a: uint64.o Cparser.cmo $(OCAMLMKLIB) -o cparser uint64.o Cparser.cmo @@ -82,7 +82,7 @@ beforedepend:: Lexer.ml $(OCAMLC) -c $*.c clean:: - rm -f *.cm? *.o *.so + rm -f *.cm? *.cmxa *.o *.so *.a depend: beforedepend $(OCAMLDEP) *.mli *.ml > .depend -- cgit