From 891377ce1962cdb31357d6580d6546ec22df2b4f Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 3 Mar 2010 10:22:27 +0000
Subject: Switching to the new C parser/elaborator/simplifier

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Makefile | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 95eca7d..856d777 100644
--- a/Makefile
+++ b/Makefile
@@ -25,10 +25,7 @@ OCAMLBUILD=ocamlbuild
 OCB_OPTIONS=\
   -no-hygiene \
   -no-links \
-  -I extraction $(INCLUDES) \
-  -cflags -I,`pwd`/cil/obj/$(ARCHOS) \
-  -lflags -I,`pwd`/cil/obj/$(ARCHOS) \
-  -libs unix,str,cil
+  -I extraction $(INCLUDES)
 
 VPATH=$(DIRS)
 GPATH=$(DIRS)
@@ -89,9 +86,6 @@ extraction:
 	$(COQEXEC) extraction/extraction.v
 	cd extraction && ./fixextract
 
-cil:
-	$(MAKE) -j1 -C cil
-
 ccomp: driver/Configuration.ml
 	$(OCAMLBUILD) $(OCB_OPTIONS) Driver.native \
         && rm -f ccomp && ln -s _build/driver/Driver.native ccomp
@@ -111,7 +105,6 @@ runtime:
 
 all:
 	$(MAKE) proof
-	$(MAKE) cil
 	$(MAKE) extraction
 	$(MAKE) ccomp
 	$(MAKE) runtime
@@ -178,7 +171,6 @@ clean:
 
 distclean:
 	$(MAKE) clean
-	rm -rf cil
 	rm -f Makefile.config
 
 include .depend
-- 
cgit v1.2.3