Changeset ed59e2 in git

Timestamp:

Sep 9, 1997, 2:20:11 PM (26 years ago)

Author:

Jens Schmidt <schmidt@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

790737ee70fe91f5d3f5d630d71aea9f19c50c6c

Parents:

c42671939f11f57e963a3ad3b34c0f606d807ed4

Message:

	* INSTALL: doc fix


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

File:

• factory/INSTALL (modified) (7 diffs)

factory/INSTALL

@@ -21 +21 @@
 1. Configuring Factory
 ======================
-   The configure shell script attempts to guess correct values for various
+  The configure shell script attempts to guess correct values for various
 system-dependent variables used during compilation.  It uses those values
 to create a GNUmakefile and a config.h file containing system-dependent
@@ -30 +30 @@
 debugging configure).
 
-   If you need to do unusual things to compile the package, please try to
+  If you need to do unusual things to compile the package, please try to
 figure out how configure could check whether to do them, and mail diffs or
 instructions to the address given in the README file so they can be
@@ -36 +36 @@
 results you don't want to keep, you may remove or edit it.
 
-   The file configure.in is used to create configure by a program called
+  The file configure.in is used to create configure by a program called
 autoconf.  You only need configure.in if you want to change it or
 regenerate configure using a newer version of autoconf.
 
+  Normally, the configure script's guesses are correct.  However, you may
+want to check the values it came up with.  Especially the way configure
+tries to figure out the path to the GF(q) tables ('GFTABLEDIR') may be
+fooled in some circumstances.  See the marked sections in the files
+config.h and GNUmakefile which configure created.
+
+
 Compiler options
 ----------------
-   Some systems require unusual options for compilation or linking that the
+  Some systems require unusual options for compilation or linking that the
 configure script does not know about.  You can give configure initial
 values for variables by setting them in the environment.  Using a
@@ -58 +65 @@
 
   CFLAGS='-g -O' CXXFLAGS='-g -O' ./configure
-
 
 Specifying source and installation directories
@@ -71 +77 @@
 prefix other than /usr/local by giving configure the option
 --prefix=<path>.
-  You can specify seperate installation prefixes for architecture-specific
+  You can specify separate installation prefixes for architecture-specific
 files and architecture-independent files.  If you give configure the option
 '--exec-prefix=<path>' the package will use <path> as the prefix for
@@ -132 +138 @@
 Configuring for Macintosh or other non-Unix platforms
 -----------------------------------------------------
-  Factory translates on Macintosh with the Metroworks CodeWarrior compile
+  Factory translates on Macintosh with the Metroworks CodeWarrior compiler
 now.  If you want to build Factory on this or other non-Unix platforms you
 either have to configure config.h and GNUmakefile by hand or you have to
@@ -155 +161 @@
 building Factory.  In addition, 'make mostlyclean' deletes the GF(q) tables
 if they have been created by 'make gftables'.  'make distclean' is like
-'make mostlyclean', but also deletes all files from the current directoy
+'make mostlyclean', but also deletes all files from the current directory
 that have been created by configuring.  If you have unpacked the source and
 built the program without creating any other files, 'make distclean' leaves