on the fly generation of distribution configure.ac

diff --git a/helm/software/Makefile b/helm/software/Makefile
index 6daf814f63ac27f596e10b291345193382e8bbf6..5ffb3574affefb6ee61818c9e5b8211c342c64be 100644 (file)
--- a/helm/software/Makefile
+++ b/helm/software/Makefile
@@ -28,30 +28,34 @@ CLEAN_ON_DIST =             \
        components/license      \
        $(NULL)
 EXTRA_DIST =                   \
-       dist/AUTHORS            \
-       dist/COPYING            \
-       dist/INSTALL            \
-       dist/README             \
-       dist/ChangeLog          \
+       matita/dist/AUTHORS     \
+       matita/dist/COPYING     \
+       matita/dist/INSTALL     \
+       matita/dist/README      \
+       matita/dist/ChangeLog   \
        Makefile                \
        Makefile.defs.in        \
-       ./configure             \
        $(NULL)
 
-dist: dist_autotools dist_export dist_mktarball
+dist: dist_mktmpdir dist_export dist_mktarball dist_rmtmpdir
 distcheck: dist dist_extract dist_build
 
-dist_autotools:
-       autoconf
-       ./configure
-
-dist_export:
+dist/configure.ac: configure.ac matita/dist/configure.ac.sed
+       sed -f matita/dist/configure.ac.sed < $< > $@
+dist/configure: dist/configure.ac
+       cd dist && autoconf
+dist_mktmpdir:
+       test -d dist || mkdir dist
+dist_rmtmpdir:
+       test -d dist && rm -rf dist/ || true
+dist_export: dist/configure
        rm -rf $(DISTDIR)
        mkdir $(DISTDIR)
        svn export components $(DISTDIR)/components
        svn export matita $(DISTDIR)/matita
        (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
        ln -fs matita.conf.xml.user $(DISTDIR)/matita/matita.conf.xml
+       cp $< $(DISTDIR)/configure
        cp -r $(EXTRA_DIST) $(DISTDIR)
 
 dist_mktarball:

diff --git a/helm/software/matita/dist/configure.ac.sed b/helm/software/matita/dist/configure.ac.sed
new file mode 100644 (file)
index 0000000..53b847e
--- /dev/null
+++ b/helm/software/matita/dist/configure.ac.sed
@@ -0,0 +1,3 @@
+s|^\(DEBUG_DEFAULT\)=.*|\1="false"|
+s|^\(DEFAULT_DBHOST\)=.*|\1="localhost"|
+s|^\(RT_BASE_DIR_DEFAULT\)=.*|\1="/usr/local/share/matita"|