From 7a4d5bd86542665125af0b4b02767e5a8eeeb5c8 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 2 Aug 2002 18:20:48 +0000
Subject: En attendant la 3.06, remplacement de +camlp4 par CAMLLIB/camlp4

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2958 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 configure | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/configure b/configure
index 3d061917c5..232669a7de 100755
--- a/configure
+++ b/configure
@@ -325,12 +325,15 @@ case $CAMLP4VERSION in
      echo "Configuration script failed!"
      exit 1;;
 esac
-case $CAMLP4VERSION,$CAMLOSTYPE in
-  3.04,*)
+case $CAMLP4VERSION in
+  3.01|3.02|3.03) 
+    case $CAMLOSTYPE in
+      Win32) CAMLP4LIB=`"$CAMLP4" -where |sed -e 's|\\\|/|g'`;;
+      *) CAMLP4LIB=`"$CAMLP4" -where`;;
+    esac;;
+  3.0*)
     CAMLP4LIB=+camlp4;;
-  *,Win32)
-    CAMLP4LIB=`"$CAMLP4" -where |sed -e 's|\\\|/|g'`;;
-  *,*)
+  *)
     CAMLP4LIB=`"$CAMLP4" -where`;;
 esac
 
-- 
cgit v1.2.3