ASLan++Connector=java -jar aslanpp-connector.jar OFMC=ofmc --untyped --classic CLATSE=cl-atse --free SATMC=satmc INPUTS= $(wildcard *.aslan++) OUTPUTS= $(INPUTS:%.aslan++=%.atk) default: $(OUTPUTS) %.atk: %.aslan ${CLATSE} --nb 2 $< >/tmp/.atk; $(ASLan++Connector) $< -ar /tmp/.atk -o $@ %.aslan: %.aslan++ $(ASLan++Connector) $< -o $@ %.clatse: %.aslan #--hc blr #--not_hc ${CLATSE} $< >$@ %.satmc: %.aslan ${SATMC} $< -o $@ %.ofmc: %.aslan ${OFMC} $< -o $@ %.clatse.atk: %.clatse $(ASLan++Connector) $*.aslan -ar $< -o $@ %.satmc.atk: %.satmc $(ASLan++Connector) $*.aslan -ar $< -o $@ %.ofmc.atk: %.ofmc $(ASLan++Connector) $*.aslan -ar $< -o $@ version: ${ASLan++Connector} -v clean: rm -f *.aslan aslan.log rm -f *.sate *.satmc *.ofmc *.clatse rm -f *.result *.res *.atk rm -f *~ rm -f *.dot *.png