
all: acp minisat yices

acp:
	echo "Acp.install ()" | sml src/commands/sources.cm 

minisat:
	(which minisat > /dev/null 2>&1 && if [ -f `which minisat` ]; then ln -s `which minisat`  work/acp/minisat; fi) || echo "Fail to make minisat symblic link... skipped."

yices:
	(which yices > /dev/null 2>&1 && if [ -f `which yices` ]; then ln -s `which yices`  work/acp/yices; fi) || echo "Fail to make yices symbolic link... skipped."

clean:
	rm -fr src/*/.cm
	rm -fr work/acp/acp.*
	rm -fr work/acp/minisat
	rm -fr work/acp/yices

.PHONY : all acp minisat yices clean
