KLIC		= klic
KLIC_SRC	= klitcl.kl1 hanoi.kl1
KLIC_TARGET	= hanoi

all : klitcld $(KLIC_TARGET)

$(KLIC_TARGET) : $(KLIC_SRC)
	$(KLIC) -o $@ $(KLIC_SRC)

klitcl.kl1 :
	ln -s ../../klitcl.kl1 klitcl.kl1

klitcld :
	ln -s ../../klitcld klitcld

exec :
	./klitcld &
	sleep 1
	./$(KLIC_TARGET)

clean :
	$(RM) $(KLIC_TARGET) klitcl.kl1 klitcld \
              $(KLIC_SRC:.kl1=.o) \
              $(KLIC_SRC:.kl1=.c) \
              $(KLIC_SRC:.kl1=.ext) \
              atom.h atom.c atom.o funct.h funct.c funct.o \
              predicates.c predicates.o klic.db
