#
# Copyright (C) 1991, Shinji Kono, Sony Computer Science Laboratory, Inc.
#                                  The University, Newcastle upton Tyne
#
# Everyone is permitted to copy and distribute verbatim copies
# of this license, but changing it is not allowed.  You can also
# use this wording to make the terms for other programs.
#
# send your comments to kono@csl.sony.co.jp

PROLOG = sicstus
PROLOG_TYPE = SICSTUS

# PROLOG = sbprolog
# PROLOG_TYPE = SBPROLOG

# PROLOG = cprolog
# PROLOG_TYPE = CPROLOG

# PROLOG = xsb
# PROLOG_TYPE = XSB

# last resort
# PROLOG = prolog
# PROLOG_TYPE = PROLOG


#  SICSTUS                      for SICStus Prolog
#    SICSTUS218                     patch for v2.1 #8
#  SBPROLOG                     for SB Prolog
#  QUINTUS                      for Quintus Prolog
#  CPROLOG                      for CPROLOG ver 1.2
#    CPROLOG15                  for CPROLOG15 ver 1.5
#  see cp.pl.c

all:    $(PROLOG_TYPE)

SICSTUS: cp.pl 
	echo '[initm],save(lite).' | $(PROLOG)
CPROLOG: cp.pl
	echo '[init],save(lite).' | $(PROLOG)

PROLOG: cp.pl
	echo 'start ' $(PROLOG) ' and run [init]'

SB_START_FILE = /usr/local/lib/sbprolog/modlib/\$$readloop 
SBPROLOG:  cp.pl
	echo "['op.pl']." > .tmpb
	make M=$(M) $(OBJ)
	cat .tmpb | $(PROLOG)
	cat $(SB_START_FILE) $(OBJ) > lite

XSB:  cp.pl
	echo '[init].' | $(PROLOG)
	echo 'start ' $(PROLOG) ' and run [init]'
	

cp.pl : cppl.c
	cc -E -D$(PROLOG_TYPE) cppl.c | sed -e '/^#/d' > cp.pl

.SUFFIXES: .pl .ql
.SILENT:
OBJ = op.ql ndcomp.ql dvcomp.ql bdtstd.ql rstd.ql chop.ql diag.ql kiss.ql ex.ql cp.ql infinite.ql
# kiss_ex.ql
WORK = .tmpl .tmpc .tmpa .tmpb
# M = lite:

tmpa:
	rm -f $(WORK)
	touch $(WORK)
	make  M=$(M) $(OBJ)
	echo '?-load($(M)['$(OBJ)']).' | \
		sed -e 's/\.ql//g' -e 's/ *$$//' -e 's/ /,/g' > .tmpa

.pl.ql:
	echo '?-fcompile('$(M)$*').' >> .tmpc
	echo '?-load('$(M)$*').' >> .tmpl
	echo "compile('$<','$@')." >> .tmpb

cp.ql : cp.pl

clean:
	rm -f lite *.ql $(WORK) cp.pl *.O *.P

pack:
	tar cvf -  read.me \
	`echo $(OBJ) $(BDD) display.pl | sed -e 's/\.ql/\.pl/g' ` \
	Makefile init* bddi | compress |\
	uuencode itlve.tar.Z > itlve.tar.Z.uu

lharc:
	lharc u itl.lhz  read.me \
	`echo $(OBJ) display.pl | sed -e 's/\.ql/\.pl/g' ` \
	Makefile init demoi 

BDD = chop.ql diag.ql bdditl.ql bddcomp.ql ex.ql cp.ql
bdd:	
	rm -f $(WORK)
	touch $(WORK)
	make M=$(M) $(BDD)
	echo '?-load($(M)['$(BDD)']).' | \
	sed -e 's/\.ql//g' -e 's/ *$$//' -e 's/ /,/g' > .tmpa

DISPLAY = display.ql
display:	
	rm -f $(WORK)
	touch $(WORK)
	make M=$(M) $(DISPLAY)
	echo '?-load($(M)['$(DISPLAY)']).' | \
	sed -e 's/\.ql//g' -e 's/ *$$//' -e 's/ /,/g' > .tmpa