Changeset 8f6ff8 in git for factory

Timestamp:

Aug 20, 2008, 4:43:12 PM (16 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

cb1ed27860675e098e88124eba57212b35769e9d

Parents:

bf274ae19bff64ade9fc742c1a0181e97ab2a6d5

Message:

*hannes: cf_gmp.h


git-svn-id: file:///usr/local/Singular/svn/trunk@11016 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

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

factory/GNUmakefile.in

@@ -1 +1 @@
 # @configure_input@
-# $Id: GNUmakefile.in,v 1.58 2008-08-20 14:40:31 Singular Exp $
+# $Id: GNUmakefile.in,v 1.59 2008-08-20 14:43:12 Singular Exp $
 
 #
@@ -484 +484 @@
 
 # specify dependency in case user does not 'make depend'
-factoryconf.h:  config.h
+factoryconf.h:  config.h cf_gmp.h
 
 TAGS:
@@ -678 +678 @@
                 -rm -f $(libfactory) libcfmem.a \
                   $(ftestexec) gengftables test_install \
-                  factoryconf.h factory.h *.o *.d *.dtmp
+                  factoryconf.h factory.h *.o *.d *.dtmp cf_gmp.h
 
 # remove gftables only if we built them