From 2245717b5800da80371952999bc0cff5f75aa490 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 1 Jan 2009 12:47:42 +0000
Subject: Continuation of ARM port. Cleaned up Makefile and SVN properties.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c2ffceb..9b53c63 100644
--- a/Makefile
+++ b/Makefile
@@ -79,17 +79,25 @@ FILES=$(LIB) $(COMMON) $(BACKEND) $(CFRONTEND) $(DRIVER)
 
 proof: $(FILES:.v=.vo)
 
-exec:
-	$(OCAMLBUILD) $(OCB_OPTIONS) Driver.native && mv Driver.native ccomp
+extraction:
+	$(MAKE) -C extraction
 
-all:
-	$(MAKE) proof
+cil:
 	$(MAKE) -C cil
-	$(MAKE) -C extraction
-	$(MAKE) exec
-	$(MAKE) -C extraction
+
+ccomp:
+	$(OCAMLBUILD) $(OCB_OPTIONS) Driver.native && mv Driver.native ccomp
+
+runtime:
 	$(MAKE) -C runtime
 
+.PHONY: proof extraction cil ccomp runtime
+
+extraction: proof
+ccomp: cil extraction 
+
+all: proof cil extraction ccomp runtime
+
 documentation: doc/removeproofs
 	@ln -f $(FILES) doc/
 	@mkdir -p doc/html
@@ -143,3 +151,4 @@ distclean:
 
 include .depend
 
+FORCE:
-- 
cgit v1.2.3