#!/bin/sh test: $(MAKE) magic $(MAKE) log $(MAKE) gemini magic: ext2sim -R -C inv.ext ucbsim inv.sim > inv.ucb-sim log: sf invschem.spc > invschem.fspc ss invschem.fspc > invschem.sim gemini: gemini -Minv -w0 inv.ucb-sim invschem.sim > comp1.out gemini -Minv -w0 inv.ucb-sim badschem.sim > comp2.out clean: rm -f *.fspc inv.sim inv.ucb-sim invschem.sim rm -f *.nodes *.al *.err.mag *.out