# Generated automatically from Makefile.in by configure.
# Copyright (C) 1994, Swedish Institute of Computer Science.

.SUFFIXES: .ql .pl
.pl.ql:
	-echo "asserta(library_directory('$(LIB_PATH)')),prolog_flag(compiling,_,$(PLFLAGS)), use_module(compenv), env_fcompile($*,arith_r)." | $(PROLOG) -f


SHELL=/bin/sh

PROLOG= sicstus
PLFLAGS= compactcode

MKDIR=../../ensdir
LN=ln -s

LIB_PATH=`pwd`/..
LIBDIR=$(LIB_PATH)


COMMONSRC= compenv.pl arith.pl bb.pl bv.pl dump.pl fourmotz.pl \
	   ineq.pl itf3.pl nf.pl ordering.pl project.pl redund.pl store.pl
ENV=       compenv.ql arith.ql bb.ql bv.ql class.ql dump.ql fourmotz.ql geler.ql \
           ineq.ql itf3.ql nf.ql nfr.ql ordering.ql project.ql redund.ql store.ql \
           arith_r.ql
ARITH= arith_r.pl arith.pl
ATTS= itf3.pl

all:	sing

sing:	$(COMMONSRC)
	$(MAKE) $(MFLAGS) $(ENV) PROLOG=$(PROLOG) PLFLAGS=$(PLFLAGS)

install:
	$(MKDIR) $(LIBDIR)/clpr
	-cp $(ENV) $(LIBDIR)/clpr

arith_r.ql:	$(ARITH)
bb.ql:		$(ATTS) $(ARITH)
bv.ql:		$(ATTS) $(ARITH)
dump.ql:	$(ATTS)
fourmotz.ql:	$(ATTS) $(ARITH)
ineq.ql:	$(ATTS) $(ARITH)
itf3.ql:	$(ATTS) $(ARITH)
nf.ql:		$(ARITH)
project.ql:	$(ATTS) $(ARITH)
redund.ql:	$(ATTS) $(ARITH)
store.ql:	$(ATTS) $(ARITH)

$(COMMONSRC):
	$(LN) ../clpqr/$@ .

clean:
	rm -f $(ENV) $(COMMONSRC)

