|
|
1.1 ! root 1: ############################################################################## ! 2: # Instructions to Make, for compilation of MH papers ! 3: # ! 4: # This file is automatically generated. Do not edit! ! 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.