diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -136,6 +136,7 @@ reals=all arch_spec=no coqide_spec=no browser_spec=no +wwwcoq_spec=no with_geoproof=false with_doc=all with_doc_spec=no @@ -224,6 +225,9 @@ while : ; do -browser|--browser) browser_spec=yes BROWSER=$2 shift;; + -coqwebsite|--coqwebsite) wwwcoq_spec=yes + WWWCOQ=$2 + shift;; -with-doc|--with-doc) with_doc_spec=yes case "$2" in yes|all) with_doc=all;; @@ -366,6 +370,10 @@ if [ "$browser_spec" = "no" ]; then esac fi +if [ "$wwwcoq_spec" = "no" ]; then + WWWCOQ="http://www.lix.polytechnique.fr/coq/" +fi + ######################################### # Objective Caml programs @@ -865,6 +873,7 @@ echo " Documentation : None" fi echo " CoqIde : $COQIDE" echo " Web browser : $BROWSER" +echo " Coq web site : $WWWCOQ" echo "" echo " Paths for true installation:" @@ -1007,6 +1016,9 @@ let state_magic_number = $STATEMAGIC let exec_extension = "$EXE" let with_geoproof = ref $with_geoproof let browser = "$BROWSER" +let wwwcoq = "$WWWCOQ" +let wwwrefman = wwwcoq ^ "distrib/" ^ version ^ "/refman/" +let wwwstdlib = wwwcoq ^ "distrib/" ^ version ^ "/stdlib/" END_OF_COQ_CONFIG |