Annotation of OpenXM/src/kan96xx/README, Revision 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:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>