Changeset 3c8c49 in git


Ignore:
Timestamp:
Jul 22, 1997, 11:12:38 AM (27 years ago)
Author:
Jens Schmidt <schmidt@…>
Branches:
(u'spielwiese', '82fc009ea2b0098c1a4896c841bb70860976bdfc')
Children:
f13f4ba63d288ebab0fc6a0c292bb81390fc0dee
Parents:
e9fb31c161edbbbc83844adb5cb5d6836b9e8c87
Message:
	* INSTALL: doc fix


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

Legend:

Unmodified
Added
Removed
  • factory/INSTALL

    re9fb31 r3c8c49  
    8484'./configure --help':
    8585
    86   --with-memman(=<memman>) specify factory memory manager.
     86  --with-memman(=<memman>) specify Factory memory manager.
    8787                          <memman> is either 'old' (default), 'new', or 'no'.
    8888  --with-gmp(=<gmp_inc_path>(,<gmp_lib_path>))
    8989                          specify where to find gmp library.
    9090  --with-Singular         build for use with computer algebra system Singular.
    91   --disable-streamio      build factory without streamio
    92   --enable-memdebug=<level> switch on memory managment debugging.  Meaningful
     91  --disable-streamio      build Factory without stream IO
     92  --enable-memdebug=<level> switch on memory management debugging.  Meaningful
    9393                          with --with-memman=new only.  <level> may be either
    9494                          'no' (default), 'normal', or 'full'.
    95   --enable-assertions     build factory with assertions activated
    96   --enable-timing         build factory so it will print timing information
    97   --enable-debugoutput    build factory so it will print debugging information
     95  --enable-assertions     build Factory with assertions activated
     96  --enable-timing         build Factory so it will print timing information
     97  --enable-debugoutput    build Factory so it will print debugging information
    9898  --enable-gmp            together with --with-Singular means: installation
    9999                          in process, be graceful when there is no gmp.h
    100100
    101101  For more detailed information, see the README file.  Note that not all
    102 possible combinations of the with's and enable's are meaningful.  The
     102possible combinations of the --with's and --enable's are meaningful.  The
    103103dependencies between them are described in the README file, too.
    104104
     
    125125  ../configure --srcdir=.. --prefix=/usr/local/factory.opt
    126126  make install
    127   # Better set a symbolic link from one $(gftabledir) to the other.  There
    128   # are not any configuration dependent differences.
     127  # Better set a symbolic link from one $(gftabledir) to the other.  They
     128  # GF(q) tables are the same for all configurations.
    129129  make installgftables
    130130 
     
    171171'make ftmpl_inst.o'
    172172-------------------
    173   Creates the Factory template instantiation.  Necessary when you link
     173  Creates the Factory template instantiation.  Necessary when linking
    174174Factory with your application.
    175175
     
    191191   'make gengftables'
    192192   ------------------
    193      Creates the executable necessary to build the tables.
     193     Creates the executable gengftables necessary to build the tables.
    194194
    195195   'make gftables'
    196196   ---------------
    197      Creates a directory gftables/ and execute gengftables.  This is a
    198    rather time consuming process, so you maybe want to start it in the
     197     Creates a directory gftables/ and executes gengftables.  This is a
     198   rather time consuming process, so you may want to start it in the
    199199   background or as 'nohup' ('nohup make gftables &').
    200200
     
    207207'make install'
    208208--------------
    209   Builds Factory and install it.  This target also creates the directories
    210 in which Factory will be installed, if they do not already exist.
     209  Builds and installs Factory.  This target also creates the directories
     210in which Factory will be installed if they do not already exist.
    211211The files are installed in the following directories:
    212212
     
    234234----------------
    235235  Deletes all the installed files that the install target created.  Also
    236 attempt to delete the directories created by installation process.
     236attempts to delete the directories created by the installation process.
    237237
    238238
     
    245245'make unistallgftables'
    246246-----------------------
    247   Uninstalls the GF(q) tables.
     247  Uninstalls the GF(q) tables and attempts to delete the directories created
     248by the installation process.
Note: See TracChangeset for help on using the changeset viewer.