diff options
| author | notin | 2006-08-30 16:03:48 +0000 |
|---|---|---|
| committer | notin | 2006-08-30 16:03:48 +0000 |
| commit | bb7d9d0faa9232e6e7fd77680d96f925296e3921 (patch) | |
| tree | 370e7951fdc42091a99b8b6b3a22d3a25da25fd3 /configure | |
| parent | 3eefaf3578b3149dd6744f728e366e95732e63d6 (diff) | |
Modification du configure pour paramétrer les exécutables liés à la compilation C
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9099 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 21 |
1 files changed, 20 insertions, 1 deletions
@@ -29,6 +29,10 @@ coq_debug_flag= coq_profile_flag= best_compiler=opt +gcc_exec=gcc +ar_exec=ar +ranlib_exec=ranlib + local=false src_spec=no prefix_spec=no @@ -106,10 +110,22 @@ while : ; do no) with_geoproof=false;; esac shift;; + -with-cc|-with-gcc|--with-cc|--with-gcc) + gcc_spec=yes + gcc_exec=$2 + shift;; + -with-ar|--with-ar) + ar_spec=yes + ar_exec=$2 + shift;; + -with-ranlib|--with-ranlib) + ranlib_spec=yes + ranlib_exec=$2 + shift;; -byte-only|-byteonly|--byteonly|--byte-only) best_compiler=byte;; -debug|--debug) coq_debug_flag=-g;; -profile|--profile) coq_profile_flag=-p;; - *) echo "Unknown option \"$1\"." 1>&2; exit 2;; + *) echo "Unknown option \"$1\"." 1>&2; exit 2;; esac shift done @@ -619,6 +635,9 @@ sed -e "s|LOCALINSTALLATION|$local|" \ -e "s|OCAMLLEXEXEC|$ocamllexexec|" \ -e "s|OCAMLYACCEXEC|$ocamlyaccexec|" \ -e "s|CAMLMKTOPEXEC|$camlmktopexec|" \ + -e "s|CCEXEC|$gcc_exec|" \ + -e "s|AREXEC|$ar_exec|" \ + -e "s|RANLIBEXEC|$ranlib_exec|" \ -e "s|STRIPCOMMAND|$STRIPCOMMAND|" \ -e "s|FSETSOPT|$fsets|" \ -e "s|REALSOPT|$reals|" \ |