summaryrefslogtreecommitdiff
path: root/web/spiderweb/src/README
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /web/spiderweb/src/README
Initial commit
Diffstat (limited to 'web/spiderweb/src/README')
-rw-r--r--web/spiderweb/src/README104
1 files changed, 104 insertions, 0 deletions
diff --git a/web/spiderweb/src/README b/web/spiderweb/src/README
new file mode 100644
index 0000000000..d7750508f9
--- /dev/null
+++ b/web/spiderweb/src/README
@@ -0,0 +1,104 @@
+This file says how to install Spidery WEB. If you want more information
+about what it is, look in the doc subdirectory, especially doc/DESCRIPTION.
+Spidery WEB is not in the public domain, but you are welcome to use it for
+any purpose. For more details, see the file COPYRIGHT.
+
+
+How to install Spidery WEB:
+
+1) Pick a directory to install the WEB source in. Call it WEBROOT.
+
+2) untar the distribution in WEBROOT (cd WEBROOT; tar xvf spiderweb.tar)
+
+3) change to the master subdirectory and edit WebMakefile.
+ -- Set WEBROOT to the WEBROOT directory
+ -- Set DEST to the name of a directory to hold the executables
+ -- Set MACROS to the name of directory to hold TeX macros
+ Example:
+ WEBROOT=/usr/src/local/spiderweb
+ DEST=/usr/local
+ MACROS=/usr/lib/tex/macros
+
+ Make sure there are no spaces following the names.
+
+4) If your installation doesn't have a cputype program, make one (a shell
+ script is fine) following the instructions in WebMakefile. Put it
+ somewhere on your path.
+
+5) As defaults, the names of C tangle and weave are ceetangle and ceeweave
+ (to avoid confusion with Silvio Levy's ctangle and cweave). Awk tangle
+ is called awktangle. If you want to change these names, you must change
+ them in WEBROOT/master/WebMakefile, and also on WEBROOT/c/make and
+ WEBROOT/awk/make
+
+6) Make sure . is at the front of your path. For example, csh users could
+ type `set path = (. $path)' or sh users type `path=.:$path'. (I haven't
+ checked these since . is at the front of my path by default.) If you
+ don't like this security hole, you will have to change `make' to `./make'
+ at the appropriate places (found by you).
+
+ With your path set, go into WEBROOT and type `make boot'
+
+ Once this is successful you will have executable versions of tangle for
+ C and Awk, which is the minumum needed to make other things. After you've
+ done this, you can afford to `make clean', which will remove the .c and
+ .awk source you used to bootstrap yourself. You can always make them over
+ again using the executable versions (`make source').
+
+ In case it isn't clear, once you `make boot' you will never need to do
+ it again.
+
+7) Move webkernel.tex into a place where TeX can find it. Until you do
+ this you won't be able to TeX WEAVE output (or doc/spiderwebman.tex).
+
+
+
+Spidery WEB comes with the following languages:
+
+Directory Description
+
+68k 68000 assembly language, courtesy Izumi Watanabe
+ada Ada
+awk old-style AWK, a string processing language
+c Kernighan and Ritchie C
+c++ C++, courtesy of Ed Kademan
+dijkstra Edsger Dijkstra's language of guarded commands (flaky)
+kelem Algol-like C, courtesy Steve Kelem
+larch The Larch Shared Language, used for specifying
+ equational theories.
+nawk new-style AWK
+penelope Ada, extended with formal comments for verification
+postscript PostScript, courtesy David Love
+reduce A Pascal-like lisp, courtesy Marcel Roelofs
+sml A couple of attempts at Standard ML
+ssl The language of the Cornell Synthesizer Generator
+turing,turing+ Two versions of the Turing language, courtesty Kostas N. Oikonomou
+
+
+Each of these directories has a file called 'make'. The settings in
+that file determine the name that the executable versions of WEAVE and
+TANGLE have for that particular language. The names of the Spider
+files are also given. See ../doc/spiderman.tex for details on using
+Spider. Izumi Watanabe's Japanese translation is in ../doc/spdjman.tex.
+
+To make weave or tangle, change to the directory for the chosen language,
+and type `make weave' or `make tangle'. `make web' will make both weave
+and tangle.
+
+The `latex' subdirectory contains change files and other information
+to support use of WEB with latex. They may not be up to date with the
+current version of web.
+
+Spidery WEB is available by anonymous ftp from the literate-
+programming archive at niord.shsu.edu. Spidery WEB is no longer
+supported; it has been replaced by `noweb', which is available by
+anonymous ftp from csservices.princeton.edu:pub/noweb.shar.Z. ORA
+Corp makes some effort to keep Spidery WEB working, and bug reports,
+fixes, and new language descriptions can be sent to
+spider-bugs@oracorp.com.
+
+Norman Ramsey
+ORA Corporation
+301A Harris B. Dates Drive
+Ithaca, New York 14850
+Internet: spider-bugs@oracorp.com