summaryrefslogtreecommitdiff
path: root/web/spiderweb/src/README
blob: d7750508f93b997705265cf945b1087be60f2ce6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
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