Changeset 348d0d in git


Ignore:
Timestamp:
Jun 16, 1998, 1:05:16 PM (26 years ago)
Author:
Olaf Bachmann <obachman@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '45e267b9942dec9429fe249ce3e5e44ab80a6a3a')
Children:
64df8c0bc6da8d691c486378be7b58e428f53dc6
Parents:
72f950dbdf775272801a97475cb61204f0960023
Message:
* cosmetic changes


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

Legend:

Unmodified
Added
Removed
  • COPYING

    r72f950 r348d0d  
    1616     supporting documentation.
    1717
    18   2. The name of the program ("SINGULAR") is retained.
     18  2. The name of the program ("Singular") is retained.
    1919
    2020  3. Portions of the software which are modified are marked.
  • INSTALL

    r72f950 r348d0d  
    130130  info program is executed if you call 'info' from your shell.
    131131
     132* General: Singular can not find its libraries or info-file:
     133  (1) Start up Singular, and issue the command `system("Singular");'.
     134      If this does not return the correct and expanded location of the
     135      Singular executable, then you found a bug in Singular, which we
     136      ask you to report (see below).
     137  (2) Check whether the directories containing the libraries and
     138      info-file can be found by Singular: If $bindir denotes the
     139      directory where the Singular executable resides, then Singular
     140      looks for library files as follows (<x.y.z> stands for the
     141      actual version):
     142      1.) In all paths specified by the environment variable SINGULARPATH
     143      2.) $bindir/LIB
     144      3.) $bindir/LIB/<x.y.z>
     145      4.) $bindir/../../Singular/LIB
     146      5.) $bindir/../../Singular/LIB/<x.y.z>
     147      6.) /usr/local/Singular/LIB/
     148      7.) /usr/local/Singular/LIB/<x.y.z>
     149      The info-file, i.e., the file singular.hlp is looked for at the
     150      following places:
     151      1.) $bindir/../doc/singular.hlp
     152      2.) $bindir/../info/singular.hlp
     153      3.) $bindir/../../Singular/doc/<x.y.z>/singular.hlp
     154      4.) $bindir/../../Singular/doc/singular.hlp
     155      5.) $bindir/../../info/singular.hlp
     156      6.) /usr/local/Singular/doc/<x.y.z>/singular.hlp
     157      7.) /usr/local/Singular/doc/singular.hlp
     158      8.) /usr/local/info/singular.hlp
     159      9.) In all directories contained in the Singular SearchPath.
     160  (3) As a last resort, you can set the environment variable
     161      SINGULARPATH, so that the directories containing the Singular
     162      libraries and info-files are contained in the value of
     163      SINGULARPATH.
     164  You can inspect the used SearchPath and info-file by starting up
     165  Singular with the `-v' option, or  by issuing the command
     166  `system("with")'.
     167     
     168* General: Singular can not find the `info' program:
     169  Install the info program on your system -- see the section
     170  "TO INSTALL THE ON-LINE DOCUMENTATION" above.
     171
    132172* For any other troubles, please send mail to
    133    singular@mathematik.uni-kl.de
     173        singular@mathematik.uni-kl.de
     174  and include the header which is displayed by starting up Singular
     175  with the `-v' option, and a description of your machine (issue the
     176  command `uname -a' on your shell) in your report.
     177
    134178
    135179More information about Singular: Comments, Questions, Bug Reports
  • Makefile.in

    r72f950 r348d0d  
    123123        cp Singular/LIB/*.lib ${TMPDIR}/Singular/LIB/${SINGULAR_VERSION}
    124124        cp -R Singular/LIB/gftables ${TMPDIR}/Singular/LIB/
     125        cd ${TMPDIR}/Singular/LIB/${SINGULAR_VERSION}; \
     126                ${LN_S} ../gftables .
    125127        cp doc/singular.hlp doc/singular.ps doc/usercard.ps \
    126128           doc/singular.dvi doc/usercard.dvi \
  • README.download

    r72f950 r348d0d  
    4242
    4343  cd /usr/local/        # or wherever you install 3rd-party software
    44   gzip -dc Singular-<x.y.z>-share.tar.gz .tar.gz | tar -pxf -
     44  gzip -dc Singular-<x.y.z>-share.tar.gz | tar -pxf -
    4545  gzip -dc Singular-<x.y.z>-<uname description> | tar -pxf -
    4646
Note: See TracChangeset for help on using the changeset viewer.