home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 8 Other / 08-Other.zip / SPIDER.ZIP / README < prev    next >
Text File  |  1989-11-29  |  4KB  |  96 lines
  1. This file says how to install Spidery WEB.  If you want more information 
  2. about what it is, look in the doc subdirectory, especially doc/DESCRIPTION.
  3. Spidery WEB is not in the public domain; you are welcome to use it for
  4. free for research purposes only.  For more details, see the file COPYRIGHT.
  5.  
  6.  
  7. How to install Spidery WEB:
  8.  
  9. 1) Pick a directory to install the WEB source in. Call it WEBROOT.
  10.  
  11. 2) untar the distribution in WEBROOT (cd WEBROOT; tar xvf spiderweb.tar)
  12.  
  13. 3) change to the master subdirectory and edit WebMakefile.
  14.     -- Set WEBROOT to the WEBROOT directory
  15.     -- Set DEST to the name of a directory to hold the executables
  16.     -- Set MACROS to the name of directory to hold TeX macros
  17.    Example:
  18.     WEBROOT=/usr/src/local/spiderweb
  19.     DEST=/usr/local
  20.     MACROS=/usr/lib/tex/macros
  21.  
  22.    Make sure there are no spaces following the names.
  23.  
  24. 4) If your installation doesn't have a cputype program, make one (a shell
  25.    script is fine) following the instructions in WebMakefile.  Put it
  26.    somewhere on your path.
  27.  
  28. 5) As defaults, the names of C tangle and weave are ceetangle and ceeweave
  29.    (to avoid confusion with Silvio Levy's ctangle and cweave).  Awk tangle
  30.    is called awktangle.  If you want to change these names, you must change
  31.    them in WEBROOT/master/WebMakefile, and also on WEBROOT/c/make and
  32.    WEBROOT/awk/make
  33.  
  34. 6) Make sure . is at the front of your path.  For example, csh users could
  35.    type `set path = (. $path)' or sh users type `path=.:$path'.  (I haven't
  36.    checked these since . is at the front of my path by default.)  If you
  37.    don't like this security hole, you will have to change `make' to `./make'
  38.    at the appropriate places (found by you).
  39.  
  40.    With your path set, go into WEBROOT and type `make boot'
  41.  
  42.    Once this is successful you will have executable versions of tangle for
  43.    C and Awk, which is the minumum needed to make other things.  After you've
  44.    done this, you can afford to `make clean', which will remove the .c and
  45.    .awk source you used to bootstrap yourself.  You can always make them over
  46.    again using the executable versions (`make source').
  47.  
  48.    In case it isn't clear, once you `make boot' you will never need to do
  49.    it again.
  50.  
  51. 7) Move webkernel.tex into a place where TeX can find it.  Until you do
  52.    this you won't be able to TeX WEAVE output (or doc/spiderwebman.tex).
  53.  
  54.  
  55.  
  56. Spidery WEB comes with the following languages:
  57.  
  58. Directory    Description
  59.  
  60. ada        Ada
  61. awk        AWK, a string processing language
  62. c        Kernighan and Ritchie C
  63. c++        C++, courtesy of Ed Kademan
  64. dijkstra    Edsger Dijkstra's language of guarded commands  (flaky)
  65. larch        The Larch Shared Language, used for specifying
  66.         equational theories.
  67. penelope    Ada, extended with formal comments for verification
  68. ssl        The language of the Cornell Synthesizer Generator
  69.  
  70.  
  71. Each of these directories has a file called 'make'.  The settings in that file
  72. determine the name that the executable versions of WEAVE and TANGLE have
  73. for that particular language.  The names of the Spider files are also given.
  74. See doc/spiderman.tex for details on using Spider.
  75.  
  76. To make weave or tangle, change to the directory for the chosen language, 
  77. and type `make weave' or `make tangle'.  `make web' will make both weave
  78. and tangle.
  79.  
  80.  
  81. Spidery WEB is available by anonymous ftp from princeton.edu:~ftp/pub.
  82. By copying it and using it you agree to report bugs, bug fixes, and
  83. changes to me, at the address below.
  84.  
  85. Spidery WEB is no longer in beta test.  I still respond to bug
  86. reports, but very slowly.  When sending bug reports, please include
  87. the last line from your copy of the file BUGS.
  88.  
  89. Norman Ramsey
  90. Department of Computer Science
  91. Princeton University
  92. 35 Olden Street
  93. Princeton, New Jersey 08544
  94. Internet: nr@princeton.edu
  95. Telephone: (609)-258-55388
  96.