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