diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-12-09 16:45:42 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-12-09 16:45:42 +0000 |
commit | cfc9e109a653047b7ca73224525bba67a8c3a571 (patch) | |
tree | b0ad9867a8d675aeae841f9921b7ff0dcd355bb3 /configure | |
parent | da0e158cf5b012ec2b61041553ae3f871e9bef09 (diff) |
Factorisation between Makefile and ocamlbuild systems : .vo to compile are in */*/vo.itarget
On the way: no more -fsets (yes|no) and -reals (yes|no) option of configure
if you want a partial build, make a specific rule such as theories-light
Beware: these vo.itarget should not contain comments. Even if this is legal
for ocamlbuild, the $(shell cat ...) we do in Makefile can't accept that.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12574 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 27 |
1 files changed, 0 insertions, 27 deletions
@@ -65,9 +65,6 @@ usage () { printf "\tSpecifies whether or not to use OCaml *.opt optimized compilers\n" echo "-natdynlink (yes|no)" printf "\tSpecifies whether or not to use dynamic loading of native code\n" - echo "-fsets (all|basic)" - echo "-reals (all|basic)" - printf "\tSpecifies whether or not to compile full FSets/Reals library\n" echo "-coqide (opt|byte|no)" printf "\tSpecifies whether or not to compile Coqide\n" echo "-browser <command>" @@ -131,8 +128,6 @@ emacs_spec=no camldir_spec=no lablgtkdir_spec=no coqdocdir_spec=no -fsets=all -reals=all arch_spec=no coqide_spec=no browser_spec=no @@ -208,16 +203,6 @@ while : ; do *) natdynlink=no esac shift;; - -fsets|--fsets) case "$2" in - yes|all) fsets=all;; - *) fsets=basic - esac - shift;; - -reals|--reals) case "$2" in - yes|all) reals=all;; - *) reals=basic - esac - shift;; -coqide|--coqide) coqide_spec=yes case "$2" in byte|opt) COQIDE=$2;; @@ -852,16 +837,6 @@ fi if test "$COQIDE" != "no"; then echo " Lablgtk2 library in : $LABLGTKLIB" fi -if test "$fsets" = "all"; then -echo " FSets theory : All" -else -echo " FSets theory : Basic" -fi -if test "$reals" = "all"; then -echo " Reals theory : All" -else -echo " Reals theory : Basic" -fi if test "$with_doc" = "all"; then echo " Documentation : All" else @@ -1089,8 +1064,6 @@ sed -e "s|LOCALINSTALLATION|$local|" \ -e "s|AREXEC|$ar_exec|" \ -e "s|RANLIBEXEC|$ranlib_exec|" \ -e "s|STRIPCOMMAND|$STRIPCOMMAND|" \ - -e "s|FSETSOPT|$fsets|" \ - -e "s|REALSOPT|$reals|" \ -e "s|COQIDEOPT|$COQIDE|" \ -e "s|CHECKEDOUTSOURCETREE|$checkedout|" \ -e "s|WITHDOCOPT|$with_doc|" \ |