Changeset 087d2d in git

Timestamp:

May 10, 2011, 6:42:43 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

c74d6a8bddf79e42aea9230d3eba30ac468dec76

Parents:

19cbad8b674bba814480e714d429181b1ecf46e4

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2011-05-10 18:42:43+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:34:45+01:00

Message:

removed dep. on configure.in in factory

File:

• factory/GNUmakefile.in (modified) (2 diffs)

factory/GNUmakefile.in

@@ -427 +427 @@
                 $(addprefix ftest/,$(ftestm4src)) \
                 $(addprefix ftest/,$(ftestdistfiles)) \
-                GNUmakefile.in configure.in config.h.in configure \
+                GNUmakefile.in config.h.in configure \
                 ChangeLog README NEWS INSTALL \
                 factory.cfg gen_cf_gmp.template \
@@ -771 +771 @@
 endif
 
-#
-# - configure stuff.
-#
-$(srcdir)/configure: configure.in
-                @echo "WARNING: You need to rerun autoconf. I am proceeding, for now."
-                touch configure
-
-#               -cd $(srcdir) && autoconf
-
 # seems gmake needs at least a trivial command.  otherwise all
 # files which depend on config.h will be remade even if congig.h