From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- web/spiderweb/src/README | 104 +++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 104 insertions(+) create mode 100644 web/spiderweb/src/README (limited to 'web/spiderweb/src/README') 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 -- cgit v1.2.3