From 2837d6dee77b4cbdeb12c5b58bb72bcc6ad416b5 Mon Sep 17 00:00:00 2001
From: blazy <blazy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 27 Feb 2009 10:13:48 +0000
Subject: make install: ./ccomp au lieu de ../ccomp

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1000 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 01bb8be3..1753471f 100644
--- a/Makefile
+++ b/Makefile
@@ -14,6 +14,7 @@ include Makefile.config
 
 COQC=coqc $(INCLUDES)
 COQDEP=coqdep $(INCLUDES)
+#COQC=/Users/sandrineblazy/SWtrunkcoq/bin/coqc $(INCLUDES)
 COQDOC=coqdoc
 OCAMLBUILD=ocamlbuild
 OCB_OPTIONS=\
@@ -139,7 +140,7 @@ depend:
 
 install:
 	install -d $(BINDIR)
-	install ../ccomp $(BINDIR)
+	install ./ccomp $(BINDIR)
 	$(MAKE) -C runtime install
 
 clean:
-- 
cgit