# 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_q)." | $(PROLOG) -f


SHELL=/bin/sh

# These Makefile-variables are not suitable for automatic substitution by
# configure, since they are not fixed.
SP_BIN=/home/jojo/pl6/distr/platform2/sicstus3/sun45/bin
SP_INC=/home/jojo/pl6/distr/platform2/sicstus3/sun45/include
SP_LIB=/home/jojo/pl6/distr/platform2/sicstus3/sun45/lib/sicstus

OPTIONS=
CFLAGS=-O2 

LN=ln -s

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

# Scripts found at the top-level of the source-tree
MKDIR=../../ensdir
MKAUTOGEN=../../mkautogen

PROLOG= sicstus
PLFLAGS= compactcode

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 nfq.ql ordering.ql project.ql redund.ql store.ql \
           arith_q.ql

ARITH= arith_q.pl arith.pl

ATTS= itf3.pl

all:	sing

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

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

arith_q.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)
