projects / unix-history / blame
| Commit | Line | Data |
|---|---|---|
| 021d82bc C |
1 | # Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984. |
| 2 | ||
| 3 | ======================================================================= | |
| 4 | = The Structure of the file system of the Mark 1 Implementation of B. = | |
| 5 | ======================================================================= | |
| 6 | ||
| 7 | # | |
| 8 | # DIRECTORY STRUCTURE | |
| 9 | # | |
| 10 | ||
| 11 | bin place to install 'b' shell command file within B file system. | |
| 12 | ||
| 13 | ex example B workspaces. | |
| 14 | ||
| 15 | doc documentation. | |
| 16 | ||
| 17 | lib place to install auxiliary files and binaries within B file system. | |
| 18 | ||
| 19 | man manuals. | |
| 20 | ||
| 21 | src sources for the B system. | |
| 22 | ||
| 23 | src/b | |
| 24 | sources for 'b' shell command file and its auxiliary files. | |
| 25 | src/bed | |
| 26 | sources for the B editor 'bed'. | |
| 27 | src/bint | |
| 28 | sources for the B interpreter 'bint'. | |
| 29 | src/libbed | |
| 30 | sources for auxiliary files needed by the B editor. | |
| 31 | src/libtermcap | |
| 32 | sources for the termcap library needed by the B editor. | |
| 33 | ||
| 34 | # | |
| 35 | # README's and MAKEFILE's | |
| 36 | # | |
| 37 | ||
| 38 | All source directories have README and Makefile files. | |
| 39 | These Makefiles accept the following entry points: | |
| 40 | ||
| 41 | make install build new version of a program or library and install it | |
| 42 | together with auxiliary files in ./bin or ./lib. | |
| 43 | ||
| 44 | make clean remove unnecessary files that can easily be rebuilt. | |
| 45 | ||
| 46 | make print print sources, documentation or manuals. | |
| 47 | ||
| 48 | # | |
| 49 | # generic files | |
| 50 | # | |
| 51 | ||
| 52 | Most source Makefile's and src/b/b.sh and src/b/b_p.sh are generated | |
| 53 | from generic copies by ./Setup. If you need to edit any of these and | |
| 54 | still be able to run ./Setup later, you must edit the xx.gen generic | |
| 55 | version of the file, and install it by running ./Setup. |