From 6d25b4f3fc23601b3a84b4a70aab40ba429ac4b9 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 30 Dec 2008 14:48:33 +0000
Subject: Reorganized the development, modularizing away machine-dependent
 parts. Started to merge the ARM code generator. Started to add support for
 PowerPC/EABI. Use ocamlbuild to construct executable from Caml files.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@930 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 coq | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'coq')

diff --git a/coq b/coq
index b110c54..19edb9a 100755
--- a/coq
+++ b/coq
@@ -1,4 +1,7 @@
 #!/bin/sh
 # Start coqide with the right -I options
 
-coqide -I lib -I common -I backend -I cfrontend $1 && make ${1}o
+ARCH=`sed -n -e 's/^ARCH=//p' Makefile.config`
+VARIANT=`sed -n -e 's/^VARIANT=//p' Makefile.config`
+
+coqide -I lib -I common -I $ARCH/$VARIANT -I $ARCH -I backend -I cfrontend $1 && make ${1}o
-- 
cgit v1.2.3