From 8030f2baedc490edbe3c26ac3b4b5ed88408ddee Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 3 Feb 2006 17:33:46 +0000 Subject: [PATCH] on the fly generation of distribution configure.ac --- Makefile | 28 ++++++++++++++++------------ matita/dist/configure.ac.sed | 3 +++ 2 files changed, 19 insertions(+), 12 deletions(-) create mode 100644 matita/dist/configure.ac.sed diff --git a/Makefile b/Makefile index 6daf814f6..5ffb3574a 100644 --- a/Makefile +++ b/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/matita/dist/configure.ac.sed b/matita/dist/configure.ac.sed new file mode 100644 index 000000000..53b847eef --- /dev/null +++ b/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"| -- 2.39.2