file = avenue

$(file): $(file).pl
	swipl -q -O -g main --stand_alone=true -o $(file) -c $(file).pl

.PHONY: clean realclean lisol

clean:
	-rm -f clauses header infile.cnf model

realclean: clean
	-rm -f $(file) $(file)Sol

lisol:
	swipl -q -O -g main --stand_alone=true -o $(file)Sol -c $(file)Sol.pl
