Changeset 0cc8979 in git for factory/config.h.in

Timestamp:

Oct 28, 1997, 3:41:50 PM (26 years ago)

Author:

Jens Schmidt <schmidt@…>

Branches:

(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')

Children:

74221cb0bcadd6d2e3c3b00c0707cd44d80057e3

Parents:

1f065015080da06bfe0ecb707ccd9f7c471378c8

Message:

	* config.h.in (FACTORYCONFIGURATION): new #define


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

File:

• factory/config.h.in (modified) (3 diffs)

factory/config.h.in

@@ -1 +1 @@
 /* emacs edit mode for this file is -*- C -*- */
-/* $Id: config.h.in,v 1.3 1997-06-23 15:41:45 schmidt Exp $ */
+/* $Id: config.h.in,v 1.4 1997-10-28 14:41:50 schmidt Exp $ */
 
 #ifndef INCL_CONFIG_H
@@ -7 +7 @@
 /* {{{ docu
  *
- * config.h.in - used by configure to create config.h.
+ * config.h.in - used by `configure' to create `config.h'.
  *
  * This file is included at building time from almost all source
- * files belonging to factory.  Furthermore, it is (textually)
- * included into factoryconf.h by makeheader so we have an
+ * files belonging to Factory.  Furthermore, it is (textually)
+ * included into `factoryconf.h' by `makeheader' so we have an
  * installed version of this file, too.  This way, the installed
  * source files will be compiled with the same settings as the
  * library itself.
  *
- * In general, you should let configure guess the correct values
- * for the #defines below.  But if something seriously goes wrong
- * in configuring, please inform the authors and feel free to
- * edit the marked section.
+ * In general, you should let `configure' guess the correct
+ * values for the `#define's below.  But if something seriously
+ * goes wrong in configuring, please inform the authors and feel
+ * free to edit the marked section.
  *
  */
@@ -34 +34 @@
 /* factory version */
 #undef FACTORYVERSION
+
+/* factory configuration */
+#undef FACTORYCONFIGURATION
 
 /* where the gftables live */