From befbc76f89f3d8abc8da17caf91ea4a87ec96eeb Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 28 Mar 2012 13:32:21 +0000
Subject: checklink: first import of Valentin Robert's validator for asm and
 link cparser: renamed Errors to Cerrors; removed packing into Cparser.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1856 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Makefile | 22 ++++++++++++++++++----
 1 file changed, 18 insertions(+), 4 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 2e531c5..00f8571 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,11 @@ OCB_OPTIONS=\
   -j 2 \
   -no-hygiene \
   -no-links \
-  -I extraction $(INCLUDES)
+  -I extraction -I cparser $(INCLUDES)
+OCB_OPTIONS_CHECKLINK=\
+  $(OCB_OPTIONS) \
+  -I checklink \
+  -use-ocamlfind
 
 VPATH=$(DIRS)
 GPATH=$(DIRS)
@@ -114,7 +118,15 @@ ccomp.byte: driver/Configuration.ml
 runtime:
 	$(MAKE) -C runtime
 
-.PHONY: proof extraction cil ccomp ccomp.prof ccomp.byte cinterp cinterp.byte runtime
+cchecklink: driver/Configuration.ml
+	$(OCAMLBUILD) $(OCB_OPTIONS_CHECKLINK) Validator.native \
+        && rm -f cchecklink && $(SLN) _build/checklink/Validator.native cchecklink
+
+cchecklink.byte: driver/Configuration.ml
+	$(OCAMLBUILD) $(OCB_OPTIONS_CHECKLINK) Validator.d.byte \
+        && rm -f cchecklink.byte && $(SLN) _build/checklink/Validator.d.byte cchecklink.byte
+
+.PHONY: proof extraction cil ccomp ccomp.prof ccomp.byte runtime cchecklink cchecklink.byte
 
 all:
 	$(MAKE) proof
@@ -152,7 +164,7 @@ latexdoc:
 	@tools/ndfun $*.vp > $*.v || { rm -f $*.v; exit 2; }
 	@chmod -w $*.v
 
-driver/Configuration.ml: Makefile.config
+driver/Configuration.ml: Makefile.config VERSION
 	(echo let stdlib_path = "\"$(LIBDIR)\""; \
          echo let prepro = "\"$(CPREPRO)\""; \
          echo let asm = "\"$(CASM)\""; \
@@ -160,7 +172,9 @@ driver/Configuration.ml: Makefile.config
          echo let arch = "\"$(ARCH)\""; \
          echo let variant = "\"$(VARIANT)\""; \
          echo let system = "\"$(SYSTEM)\""; \
-         echo let need_stdlib_wrapper = $(NEED_STDLIB_WRAPPER)) \
+         echo let need_stdlib_wrapper = $(NEED_STDLIB_WRAPPER); \
+         version=`cat VERSION`; \
+         echo let version = "\"$$version\"") \
         > driver/Configuration.ml
 
 depend: $(FILES)
-- 
cgit v1.2.3