From 8691b562846849802c3829505ba487c1d26df1d0 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 7 Feb 2006 10:51:44 +0000 Subject: [PATCH] added configure time values SRCROOT and DISTRIBUTED --- helm/software/Makefile.defs.in | 1 + helm/software/configure.ac | 7 ++++++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/helm/software/Makefile.defs.in b/helm/software/Makefile.defs.in index b714a606e..cddf43c2c 100644 --- a/helm/software/Makefile.defs.in +++ b/helm/software/Makefile.defs.in @@ -2,6 +2,7 @@ OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@ CAMLP4O = @CAMLP4O@ LABLGLADECC = @LABLGLADECC@ HAVE_OCAMLOPT = @HAVE_OCAMLOPT@ +DISTRIBUTED = @DISTRIBUTED@ MATITA_REQUIRES = @FINDLIB_REQUIRES@ MATITA_CREQUIRES = @FINDLIB_CREQUIRES@ diff --git a/helm/software/configure.ac b/helm/software/configure.ac index 295e427bb..15470ef37 100644 --- a/helm/software/configure.ac +++ b/helm/software/configure.ac @@ -1,12 +1,15 @@ AC_INIT(matita/matitaTypes.ml) -# Distribution settings (i.e. settings to be manipulated before a release) +# Distribution settings +# (i.e. settings (automatically) manipulated before a release) DEBUG_DEFAULT="true" DEFAULT_DBHOST="mowgli.cs.unibo.it" RT_BASE_DIR_DEFAULT="`pwd`/matita" MATITA_VERSION="0.1.0" +DISTRIBUTED="no" # "yes" for distributed tarballs # End of distribution settings +SRCROOT=`pwd` AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no) if test $HAVE_OCAMLC = "no"; then AC_MSG_ERROR(could not find ocamlc) @@ -151,6 +154,7 @@ AC_ARG_WITH(dbhost, AC_MSG_RESULT($DBHOST) AC_SUBST(CAMLP4O) +AC_SUBST(DISTRIBUTED) AC_SUBST(DBHOST) AC_SUBST(DEBUG) AC_SUBST(TRANSFORMER_MODULE) @@ -161,6 +165,7 @@ AC_SUBST(LABLGLADECC) AC_SUBST(OCAMLFIND) AC_SUBST(OCAMLPATH) AC_SUBST(RT_BASE_DIR) +AC_SUBST(SRCROOT) AC_SUBST(MATITA_VERSION) AC_OUTPUT([ -- 2.39.2