#   Copyright (C) 1996-1997 by Haruo Yokota,
#     Japan Advanced Inst. of Sci. and Tech.,
#     1-1 Asahidai, Tatsunokuchi, Ishikawa 923-12, Japan.

# SKLIC = klic  : klic for SPARC
SKLIC = /usr/lang/klic-2.004/bin/klic
# NKLIC = klic  : klic for nCUBE2
NKLIC = /usr/ncube/klic/bin/klic

SRC  = watchdog.kl1 copy.kl1
SPARC = sparc.kl1
NCUBE = ncube.kl1

SAMPLE1  = main.kl1 ft_queen.kl1 
FSAMPLE1 = main.kl1 ft_queen_faulty.kl1 
SAMPLE2  = main-sim.kl1 f_sim.kl1
FSAMPLE2 = main-sim.kl1 f_sim_faulty.kl1

ncube:    
	$(NKLIC) -v -dp -o dofts-n $(NCUBE) $(SRC) $(SAMPLE2)
	$(NKLIC) -v -dp -o dofts-nf $(NCUBE) $(SRC) $(FSAMPLE2)

sparc:
	$(SKLIC) -v -dp -o dofts-s  $(SPARC) $(SRC) $(SAMPLE2)
	$(SKLIC) -v -dp -o dofts-sf $(SPARC) $(SRC) $(FSAMPLE2)

# do-ncube: dofts-n 
# 	xnc -M -F -d4 dofts-n -h1m -e -p13 7d
# 
# do-ncubef: dofts-nf 
# 	xnc -M -F -d4 dofts-nf -h1m -e -p13 7d

do-sparc: dofts-s 
	./dofts-s -p5 10 100d

do-sparcf: dofts-sf 
	./dofts-sf -p5 10 100d
	

tar: 
	cd ..; \
	tar cvf fts.tar fts/*.kl1 \
		fts/Makefile fts/README.* fts/*.html

clean:
	/bin/rm -r -f verifydir core \
		*.h *.o *.c *.ext klic.db tmp.kl1 tmp0.kl1 \
		*~ \#*\#
