|
|
1.1 ! root 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.
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.