Changeset a492d2 in git for Singular/Makefile.in

Timestamp:

May 3, 1997, 12:09:29 AM (27 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', '6e5adcba05493683b94648c659a729c189812c77')

Children:

1eed4ee3e5d96c4420bb542d28e2fe2f8facab45

Parents:

1a80b406d1ca4dff5c2ee1821cf2797ce0b6ec82

Message:

Sat May  3 00:07:55 1997  Olaf Bachmann
<obachman@ratchwum.mathematik.uni-kl.de (Olaf Bachmann)>

	* small mpsr Changes to reflect some name changes of MP Dicts

	* configure.in Makefile.in: new schem for updating Makefile mod2.h
	  based on time-stamps


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

File:

• Singular/Makefile.in (modified) (5 diffs)

Singular/Makefile.in

@@ -13 +13 @@
 SINGULAR_MINOR_VERSION  = @SINGULAR_MINOR_VERSION@
 DIST_NAME       = Singular-${SINGULAR_MAJOR_VERSION}.${SINGULAR_MINOR_VERSION}
-CONFIGURE_INPUT = @ac_configure_args@
 
 ## 
@@ -148 +147 @@
 all:    Singular
 
-Singular: mod2.h version.h scanner.cc ${OBJS} iparith.o mpsr_Tok.o tesths.cc
+Singular: mod2.h Makefile version.h scanner.cc ${OBJS} iparith.o \
+                                                mpsr_Tok.o tesths.cc
         ${CXX} ${CXXFLAGS} ${CPPFLAGS} ${DEFS} -o Singular \
         tesths.cc iparith.o mpsr_Tok.o ${OBJS} ${LDFLAGS} ${LIBS}
@@ -166 +166 @@
         echo "#define SINGULAR_VERSION_ID " `date '+%y%m%d%H'` >version.h
 
-mod2.h: config.status config.cache mod2.h.in Makefile.in
-        ./config.status
-        touch -r mod2.h  config.status config.cache configure \
-                 configure.in Makefile.in
-
-config.status config.cache : configure
-        ./configure ${CONFIGURE_INPUT} --no-create
-        touch -r configure config.status config.cache
+mod2.h: stamp-h
+
+stamp-h : config.status mod2.h.in 
+        CONFIG_FILES= CONFIG_HEADERS=mod2.h ./config.status
+
+Makefile: Makefile.in config.status 
+        CONFIG_FILES="Makefile" CONFIG_HEADERS= ./config.status
+
+doc/Makefile: doc/Makefile.in config.status
+        CONFIG_FILES="doc/Makefile" CONFIG_HEADERS= ./config.status
+
+config.status: configure
+        ./config.status --recheck
 
 configure: configure.in
-        autoconf configure.in > configure
-        chmod a+x configure
+        autoconf 
 
 ##
@@ -224 +228 @@
 
 distclean: clean
-        -rm -rf depend *.inc ${DIST_NAME} ${testdir}/out
+        -rm -rf depend *.inc ${DIST_NAME} ${testdir}/out stamp-h
         -rm mod2.h Makefile TAGS* config.status config.cache config.log
         cd ${docdir}; ${MAKE} clean
@@ -233 +237 @@
         @echo "bison and autoconf"
         -rm configure scanner.cc grammar.h grammar.cc
-        cd ${docdir}; ${MAKE} distclean
 
 info dvi ps html: