#path
include ../../config


.SUFFIXES:
.SUFFIXES: _cor.phx _quest.phx _cor.phi .phx .phi

SRCS = tautologie_cor.phx commutation_cor.phx ideal_cor.phx sort_cor.phx \
       topo_cor.phx analyse_cor.phx group_cor.phx minlog_cor.phx \
       intro_cor.phx intro2_cor.phx
all: $(SRCS:_cor.phx=_quest.phx)

check: clean $(SRCS:_cor.phx=_cor.phi)

_cor.phx_quest.phx:
	gawk -f ../../tools/phox_tut.awk $< > $@

.phx.phi:
	../../src/$(PHOXVERS) -I ../../lib -c $<

depend:
	if [ -x ../../tools/phoxdep ]; then ../../tools/phoxdep -i ../../src/$(PHOXVERS) -I ../../lib *.phx > depend; fi

clean:
	- rm *_quest.phx *_cor.phi *_cor.pho

#include depend
