TARGET=oslik.zip oslik minsol.txt

all: $(TARGET)

CFLAGS=-Wall -DNDEBUG
CFLAGS+=-O9 -fexpensive-optimizations

pipe:
	mknod -m600 pipe p

test: pipe do oslik
	@echo
	@echo 'Checking C vs. Prolog consistency...'
	@echo ' You need approx 150MB of free memory.'
	@free
	@echo
	./do >pipe 2>/dev/null&./oslik|diff -u - pipe|tee errs
	@$(RM) pipe
	@if [ -s errs ];then echo 'Consistency check FAILED - see screen/file "errs" for details!';false;fi
	@$(RM) errs
	@echo Consistency check passed.

minsol.txt: oslik
	(./oslik 2>/dev/null|tail +2|awk '/^\*/{exit}{print}'|todos >minsol.txt;true) 2>/dev/null

out-c: oslik
	time ./oslik >$@

out-pla: do oslik-assert.pl
	./do oslik-assert.pl >$@

out-plh: do oslik-hash.pl
	./do oslik-hash.pl >$@

oslik.zip: index.html minsol.txt GNUmakefile do oslik.c oslik-assert.pl oslik-hash.pl .plrc pl-3.1.2.diff .htaccess
	$(RM) $@
	zip -9 $@ $^

.PHONY: fine clean

fine:
	$(RM) *.o *_.pl errs out* core gmon.out

clean: fine
	$(RM) $(TARGET)