$(HOSTNAME).xml MINERVA minerva MINERVAC minervac MINERVAX minervax MINERVAGUI minervagui PREPRO $(MINERVA) -l $(MINERVA_HOME)/ext/prepro MAKE $(MINERVA) -l $(MINERVA_HOME)/ext/minmake HOSTNAME=$(HOSTNAME) *.class $1.java $(JAVAC) . $1.java *.mbc $1.min $(MINERVAC) $1.min *.mpk $1.mbc