|
|
1.1 root 1: ##############################################################################
2: # Instructions to Make, for compilation of MH papers
3: #
4: # @(MHWARNING)
5: ##############################################################################
6:
7: SHELL = /bin/sh
8:
9: DIRS = bboards mh4 mh5 mh6.5 multifarious mznet realwork trusted \
10: tutorial
11:
12:
13: ##############################################################################
14: # Miscellaneous tasks
15: ##############################################################################
16:
17:
18: distribution:; for d in $(DIRS); do (cd $$d; ${MAKE} ${MFLAGS} distribution); done
19:
20: clean:; for d in $(DIRS); do (cd $$d; ${MAKE} ${MFLAGS} clean); done
21:
22: unclean:; for d in $(DIRS); do (cd $$d; ${MAKE} ${MFLAGS} clean); done
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.