Return to README CVS log

Up to [local] / OpenXM / src / kan96xx

Annotation of OpenXM/src/kan96xx/README, Revision 1.1.1.1

1.1       maekawa     1: README (Updated: 1998/11/21)
                      2:
                      3: "Kan/sm1" is a system for doing algebraic analysis by computer based on
                      4: computations of Groebner bases.
                      5: It is also useful to teach basic notions such as stack, reccursive call,
                      6: object oriented naming system.
                      7: This material may be freely distributed as is.
                      8: This distribution contains only a few examples in the Doc directory.
                      9: So, if you have questions, please send a mail to
                     10:        kan@math.kobe-u.ac.jp
                     11:
                     12:
                     13: Directories
                     14: -----------
                     15:
                     16: Kan      Source files of the kan-library and kan-virtual-machine (kan/sm1).
                     17: gc       Garbage collector written by Hans-J. Boehm and Alan J. Demers.
                     18:          See the README of this directory for the details.
                     19:          In order to get the newest version of it, ftp from
                     20:                  beta.zerox.com
                     21: gmp      GNU MP package
                     22: Doc      Documents. Type in "make" to get the document ttt.tex, onlinehelp.tex.
                     23:          "ttt.tex" is generated from ex.tex.
                     24:          "onlinehelp.tex" will be generated from the running version of sm1.
                     25:          ttt.tex : introduction, onlinehelp.tex : macro reference manual.
                     26:          Library files.
                     27:          This directory contains many libraries with an easy user interface
                     28:          written by sm1.
                     29:          To load all libraries, type in  (cohom.sm1) run  in sm1.
                     30:          See Section 3 of onlinehelp.tex for details.
                     31: lib      symbolic link to Doc.
                     32: bibreference.tex :  A sample citation of kan/sm1.
                     33: plugin           :  plugin modules for sm1. Open XM support.
                     34: Makefile         :  makefile
                     35:
                     36:
                     37: Installation
                     38: ------------
                     39:
                     40: <<1>>
                     41: The kan/sm1-system is mainly developed and tested
                     42: on the Linux operating system with the elf-kernel version 1.2.13.
                     43: The system will be run on the machines with ansi C-compilers
                     44: on which the Garbage collector of Boehm and Demers works.
                     45:  If you use the same environment, you need no configuration.
                     46: (On some versions of Linux, you must modify Kan/Makefile following
                     47: the comment in it.)
                     48:
                     49: Set the load path for library files if necessary. ==> see (B) below.
                     50:
                     51: Then, just type:
                     52: % make all
                     53:
                     54: You will have
                     55:    sm1
                     56: in the directory Kan.
                     57: Move this file to a directory on your search path.
                     58: (For example,
                     59:     mv sm1 ~/bin
                     60: or
                     61:     mv sm1 /usr/local
                     62: )
                     63:
                     64: -------------------------------------------------
                     65: (A) No plugin
                     66: If you do not need plugin modules for socket and so on, then
                     67: (1) edit Kan/Makefile and delete all lines begin with PLUGIN.
                     68: (2) Type in  "make all2"
                     69: --------------------------------------------------
                     70: (B) Loading path
                     71: Edit the Kan/stackm.h and change the value
                     72:        #define LOAD_SM1_PATH "/usr/local/lib/sm1/"
                     73: to a directory where you can put all the files *.sm1 in lib directory.
                     74: Do not forget to put / at the tail.
                     75: If you are allowed to use /usr/local/lib/sm1, then
                     76: you do not need to change the value of LOAD_SM1_PATH and type in
                     77:     mkdir /usr/local/lib/sm1
                     78:     cp lib/*.sm1 /usr/local/lib/sm1
                     79: When you try to run a file, the system will try to find it firstly
                     80: in the current directory, secondly in the path defined above, and
                     81: finally, the path specified by the environmental variable
                     82: LOAD_SM1_PATH.
                     83: Example:(csh)   setenv LOAD_SM1_PATH $HOME/lib/sm1/
                     84:         (bash)  LOAD_SM1_PATH=$HOME/lib/sm1/   ; export LOAD_SM1_PATH
                     85: ------------------------------------------------
                     86: ox_asir server has not yet been available on the ftp cite.
                     87: (Dec 17, 1998)
                     88: -----------------------------------------------------
                     89: January 8, 1994.
                     90: Revised March 15, 1997, November 2, 1998.
                     91: Nobuki Takayama,  Department of Mathematics, Kobe university,
                     92: kan@math.kobe-u.ac.jp
                     93:
                     94: FAQ on the installation -----------------------------------------
                     95: Q. My compilation on solaris 2.x stopped with the message
                     96:    ./if_mach SPARC SUNOS5 as -o mach_dep.o ./sparc_mach_dep.s
                     97:    Couldn't execute: No such file or directory
                     98: A. On Solaris 2.x machines,  /usr/ccs/bin must be in your search path.
                     99:    If your shell is the C-shell, type in
                    100:      set path = ($path /usr/ccs/bin)
                    101:      rehash
                    102:      make
                    103:
                    104: Q. I cannot compile the source code on Solaris.
                    105: A. Before compiling, you need to edit Kan/Makefile and Kan/global.c
                    106:    following comments for Solaris (grep Solaris).
                    107:
                    108: Q. I failed the compilation on Debian GNU/Linux, 2.0.34, gcc 2.7.2.3
                    109: A. Compile gc on the redhat linux 4.x (cd gc ; make ) and copy gc/gc.a
                    110:    or get the latest version of gc. You may use www.altavisa.com to
                    111:    find a distribution cite of gc4.x.
                    112:
                    113: