643 lines
20 KiB
Makefile
643 lines
20 KiB
Makefile
#
|
|
# default base directory for YAP installation
|
|
# (EROOT for architecture-dependent files)
|
|
#
|
|
prefix = @prefix@
|
|
ROOTDIR = $(prefix)
|
|
EROOTDIR = @exec_prefix@
|
|
#
|
|
# where the binary should be
|
|
#
|
|
BINDIR = $(EROOTDIR)/bin
|
|
#
|
|
# where YAP should look for binary libraries
|
|
#
|
|
LIBDIR=$(EROOTDIR)/lib
|
|
YAPLIBDIR=$(EROOTDIR)/lib/Yap
|
|
#
|
|
# where YAP should look for architecture-independent Prolog libraries
|
|
#
|
|
SHAREDIR=$(ROOTDIR)/share
|
|
#
|
|
# where the includes should be stored
|
|
#
|
|
INCLUDEDIR=$(ROOTDIR)/include/Yap
|
|
#
|
|
# where to store info files
|
|
#
|
|
INFODIR=$(SHAREDIR)/info
|
|
|
|
#
|
|
# Add this flag to YAP_EXTRAS if you need the extension:
|
|
# -DRATIONAL_TREES: allow unification and builtins over rational trees
|
|
# -DCOROUTINING: implement extra control primitives
|
|
# -DANALYST: low level profiler
|
|
# -DDEPTH_LIMIT: support depth-limits in Prolog execution
|
|
# -DLOW_LEVEL_TRACER: low level tracing
|
|
#
|
|
# very experimental stuff, you'll need to contact the developers
|
|
# if you want to use this:
|
|
# -DENV_COPY: or-parallelism with environment copying, in Muse style.
|
|
# -DSBA: or-parallelism with sparse binding arrays.
|
|
# -DACOW: or-parallelism with copy-on-write.
|
|
# -DTABLING_BATCHED_SCHEDULING: support for tabulation with
|
|
# batched scheduling
|
|
# -DTABLING_LOCAL_SCHEDULING: support for tabulation with local scheduling
|
|
#
|
|
#
|
|
# check also optimisation options in INSTALL file.
|
|
#
|
|
YAP_EXTRAS=@YAP_EXTRAS@
|
|
|
|
#
|
|
# Please do not add YAP_EXTRA flags here: if you do check the flags
|
|
# for c_interface.c
|
|
#
|
|
CC=@CC@
|
|
MPI_CC=@MPI_CC@
|
|
CPPFLAGS=@CPPFLAGS@ -I. -I$(srcdir)/H -I$(srcdir)/OPTYap
|
|
CFLAGS= @CFLAGS@ $(YAP_EXTRAS) $(DEFS) $(CPPFLAGS)
|
|
C_INTERF_FLAGS= @C_INTERF_FLAGS@ $(YAP_EXTRAS) $(DEFS) $(CPPFLAGS) -I$(srcdir)/include
|
|
C_PARSER_FLAGS= @C_PARSER_FLAGS@ $(YAP_EXTRAS) $(DEFS) $(CPPFLAGS)
|
|
#
|
|
#
|
|
# You shouldn't need to change what follows.
|
|
#
|
|
CPP=@CPP@
|
|
DEFS=@DEFS@
|
|
LIBS=@LIBS@
|
|
LDFLAGS=@LDFLAGS@
|
|
LN_S=@LN_S@
|
|
M4=@M4@
|
|
GCC=@GCC@
|
|
INSTALL=@INSTALL@
|
|
INSTALL_DATA=@INSTALL_DATA@
|
|
INSTALL_INFO=@INSTALL_INFO@
|
|
INSTALL_PROGRAM=@INSTALL_PROGRAM@
|
|
M4GENHDRS=$(srcdir)/@M4GENHDRS@
|
|
M4GENABSMI=$(srcdir)/@M4GENABSMI@
|
|
INDENT=@INDENT@
|
|
SHELL=@SHELL@
|
|
RANLIB=@RANLIB@
|
|
AR=@AR@
|
|
srcdir=@srcdir@
|
|
SHLIB_SUFFIX=@SHLIB_SUFFIX@
|
|
MAKEINFO=makeinfo
|
|
TEXI2DVI=texi2dvi
|
|
TEXI2HTML=texi2html
|
|
TEXI2PDF=texi2pdf
|
|
|
|
#4.1VPATH=@srcdir@:@srcdir@/OPTYap
|
|
CWD=$(PWD)
|
|
#
|
|
VERSION=Yap-4.5.3
|
|
#
|
|
|
|
TAG_HEADERS= Tags_32bits.h Tags_32Ops.h Tags_32LowTag.h\
|
|
Tags_64bits.h Tags_24bits.h
|
|
|
|
GHEADERS = TermExt.h Yap.h Atoms.h Yatom.h sshift.h $(TAG_HEADERS)
|
|
|
|
INTERFACE_HEADERS = $(srcdir)/include/c_interface.h $(srcdir)/include/yap_structs.h $(srcdir)/include/YapInterface.h
|
|
|
|
HEADERS = \
|
|
$(GHEADERS) $(INTERFACE_HEADERS) \
|
|
$(srcdir)/H/Heap.h \
|
|
$(srcdir)/H/Regs.h $(srcdir)/H/Yapproto.h \
|
|
$(srcdir)/H/absmi.h $(srcdir)/H/alloc.h \
|
|
$(srcdir)/H/amidefs.h $(srcdir)/H/amiops.h $(srcdir)/H/arrays.h \
|
|
$(srcdir)/H/arith2.h $(srcdir)/H/attvar.h \
|
|
$(srcdir)/H/clause.h $(srcdir)/H/compile.h \
|
|
$(srcdir)/H/corout.h $(srcdir)/H/eval.h $(srcdir)/H/heapgc.h \
|
|
$(srcdir)/H/index.h $(srcdir)/H/iopreds.h \
|
|
$(srcdir)/H/rheap.h \
|
|
$(srcdir)/H/tracer.h $(srcdir)/H/yapio.h \
|
|
$(srcdir)/OPTYap/opt.config.h \
|
|
$(srcdir)/OPTYap/opt.proto.h $(srcdir)/OPTYap/opt.structs.h \
|
|
$(srcdir)/OPTYap/opt.macros.h $(srcdir)/OPTYap/or.macros.h \
|
|
$(srcdir)/OPTYap/sbaamiops.h $(srcdir)/OPTYap/sbaunify.h \
|
|
$(srcdir)/OPTYap/tab.structs.h $(srcdir)/OPTYap/x86_locks.h \
|
|
$(srcdir)/OPTYap/sparc_locks.h $(srcdir)/OPTYap/mips_locks.h \
|
|
$(srcdir)/OPTYap/mips_locks_funcs.h $(srcdir)/OPTYap/alpha_locks.h \
|
|
$(srcdir)/OPTYap/alpha_locks_funcs.h \
|
|
$(srcdir)/OPTYap/pthread_locks.h
|
|
|
|
C_SOURCES= \
|
|
$(srcdir)/C/absmi.c $(srcdir)/C/adtdefs.c \
|
|
$(srcdir)/C/agc.c $(srcdir)/C/alloc.c \
|
|
$(srcdir)/C/amasm.c $(srcdir)/C/analyst.c \
|
|
$(srcdir)/C/arith0.c $(srcdir)/C/arith1.c $(srcdir)/C/arith2.c \
|
|
$(srcdir)/C/arrays.c \
|
|
$(srcdir)/C/attvar.c $(srcdir)/C/bb.c \
|
|
$(srcdir)/C/bignum.c \
|
|
$(srcdir)/C/c_interface.c $(srcdir)/C/cdmgr.c $(srcdir)/C/cmppreds.c \
|
|
$(srcdir)/C/compiler.c $(srcdir)/C/computils.c \
|
|
$(srcdir)/C/corout.c $(srcdir)/C/dbase.c $(srcdir)/C/errors.c \
|
|
$(srcdir)/C/eval.c $(srcdir)/C/exec.c $(srcdir)/C/grow.c \
|
|
$(srcdir)/C/heapgc.c $(srcdir)/C/index.c \
|
|
$(srcdir)/C/init.c $(srcdir)/C/inlines.c \
|
|
$(srcdir)/C/iopreds.c $(srcdir)/C/depth_bound.c \
|
|
$(srcdir)/C/load_foreign.c \
|
|
$(srcdir)/C/load_dl.c $(srcdir)/C/load_dld.c $(srcdir)/C/load_none.c \
|
|
$(srcdir)/C/load_aout.c $(srcdir)/C/load_aix.c $(srcdir)/C/load_dll.c \
|
|
$(srcdir)/C/load_shl.c $(srcdir)/C/load_dyld.c \
|
|
$(srcdir)/C/mavar.c $(srcdir)/C/modules.c $(srcdir)/C/other.c \
|
|
$(srcdir)/C/parser.c \
|
|
$(srcdir)/C/save.c $(srcdir)/C/scanner.c \
|
|
$(srcdir)/C/sort.c $(srcdir)/C/stdpreds.c $(srcdir)/C/sysbits.c \
|
|
$(srcdir)/C/threads.c \
|
|
$(srcdir)/C/tracer.c $(srcdir)/C/unify.c $(srcdir)/C/userpreds.c \
|
|
$(srcdir)/C/utilpreds.c $(srcdir)/C/write.c $(srcdir)/console/yap.c \
|
|
$(srcdir)/C/ypsocks.c $(srcdir)/C/ypstdio.c \
|
|
$(srcdir)/OPTYap/opt.memory.c $(srcdir)/OPTYap/opt.misc.c \
|
|
$(srcdir)/OPTYap/opt.init.c \
|
|
$(srcdir)/OPTYap/opt.preds.c $(srcdir)/OPTYap/or.engine.c \
|
|
$(srcdir)/OPTYap/or.cowengine.c $(srcdir)/OPTYap/or.sbaengine.c \
|
|
$(srcdir)/OPTYap/or.scheduler.c $(srcdir)/OPTYap/or.cut.c \
|
|
$(srcdir)/OPTYap/tab.tries.c $(srcdir)/OPTYap/tab.suspend.c \
|
|
$(srcdir)/library/mpi/mpi.c $(srcdir)/library/mpi/mpe.c
|
|
|
|
PL_SOURCES= \
|
|
$(srcdir)/pl/arith.yap $(srcdir)/pl/arrays.yap $(srcdir)/pl/boot.yap \
|
|
$(srcdir)/pl/callcount.yap\
|
|
$(srcdir)/pl/checker.yap $(srcdir)/pl/consult.yap \
|
|
$(srcdir)/pl/corout.yap $(srcdir)/pl/debug.yap \
|
|
$(srcdir)/pl/directives.yap \
|
|
$(srcdir)/pl/errors.yap $(srcdir)/pl/grammar.yap \
|
|
$(srcdir)/pl/ground.yap $(srcdir)/pl/init.yap \
|
|
$(srcdir)/pl/depth_bound.yap $(srcdir)/pl/listing.yap \
|
|
$(srcdir)/pl/load_foreign.yap \
|
|
$(srcdir)/pl/modules.yap $(srcdir)/pl/preds.yap \
|
|
$(srcdir)/pl/profile.yap \
|
|
$(srcdir)/pl/protect.yap $(srcdir)/pl/setof.yap \
|
|
$(srcdir)/pl/signals.yap \
|
|
$(srcdir)/pl/sockets.yap $(srcdir)/pl/sort.yap \
|
|
$(srcdir)/pl/statistics.yap \
|
|
$(srcdir)/pl/strict_iso.yap \
|
|
$(srcdir)/pl/tabling.yap $(srcdir)/pl/threads.yap \
|
|
$(srcdir)/pl/utils.yap \
|
|
$(srcdir)/pl/yapor.yap $(srcdir)/pl/yio.yap
|
|
|
|
ENGINE_OBJECTS = \
|
|
agc.o absmi.o adtdefs.o alloc.o amasm.o analyst.o arrays.o \
|
|
arith0.o arith1.o arith2.o attvar.o bb.o \
|
|
cdmgr.o cmppreds.o compiler.o computils.o \
|
|
corout.o dbase.o errors.o eval.o bignum.o \
|
|
exec.o grow.o heapgc.o index.o init.o inlines.o \
|
|
iopreds.o depth_bound.o mavar.o modules.o other.o \
|
|
parser.o save.o scanner.o sort.o stdpreds.o sysbits.o threads.o \
|
|
tracer.o \
|
|
unify.o userpreds.o utilpreds.o write.o ypsocks.o ypstdio.o @MPI_OBJS@
|
|
|
|
C_INTERFACE_OBJECTS = \
|
|
load_foreign.o load_dl.o load_dld.o load_dyld.o \
|
|
load_none.o load_aout.o load_aix.o load_dll.o load_shl.o \
|
|
c_interface.o
|
|
|
|
OR_OBJECTS = \
|
|
opt.memory.o opt.misc.o opt.init.o opt.preds.o \
|
|
or.engine.o or.cowengine.o or.sbaengine.o or.scheduler.o or.cut.o \
|
|
tab.tries.o tab.suspend.o
|
|
|
|
LIB_OBJECTS = $(ENGINE_OBJECTS) $(C_INTERFACE_OBJECTS) $(OR_OBJECTS)
|
|
|
|
OBJECTS = yap.o $(LIB_OBJECTS)
|
|
|
|
|
|
|
|
all: Makefile $(GHEADERS) startup
|
|
|
|
|
|
Makefile: $(srcdir)/Makefile.in
|
|
|
|
# Header files dependent on type abstraction, either implemented as
|
|
# inline functions or as macros.
|
|
Yap.h: $(srcdir)/m4/Yap.h.m4 Atoms.h TermExt.h $(srcdir)/H/Regs.h $(M4GENHDRS) $(TAG_HEADERS)
|
|
$(M4) $(M4GENHDRS) $(srcdir)/m4/Yap.h.m4 > Yap.h
|
|
$(INDENT) Yap.h
|
|
|
|
Tags_32bits.h: $(srcdir)/m4/Tags_32bits.h.m4 $(M4GENHDRS)
|
|
$(M4) $(M4GENHDRS) $(srcdir)/m4/Tags_32bits.h.m4 > Tags_32bits.h
|
|
$(INDENT) Tags_32bits.h
|
|
|
|
Tags_32Ops.h: $(srcdir)/m4/Tags_32Ops.h.m4 $(M4GENHDRS)
|
|
$(M4) $(M4GENHDRS) $(srcdir)/m4/Tags_32Ops.h.m4 > Tags_32Ops.h
|
|
$(INDENT) Tags_32Ops.h
|
|
|
|
Tags_32LowTag.h: $(srcdir)/m4/Tags_32LowTag.h.m4 $(M4GENHDRS)
|
|
$(M4) $(M4GENHDRS) $(srcdir)/m4/Tags_32LowTag.h.m4 > Tags_32LowTag.h
|
|
$(INDENT) Tags_32LowTag.h
|
|
|
|
Tags_64bits.h: $(srcdir)/m4/Tags_64bits.h.m4 $(M4GENHDRS)
|
|
$(M4) $(M4GENHDRS) $(srcdir)/m4/Tags_64bits.h.m4 > Tags_64bits.h
|
|
$(INDENT) Tags_64bits.h
|
|
|
|
Tags_24bits.h: $(srcdir)/m4/Tags_24bits.h.m4 $(M4GENHDRS)
|
|
$(M4) $(M4GENHDRS) $(srcdir)/m4/Tags_24bits.h.m4 > Tags_24bits.h
|
|
$(INDENT) Tags_24bits.h
|
|
|
|
TermExt.h: $(srcdir)/m4/TermExt.h.m4 $(M4GENHDRS)
|
|
$(M4) $(M4GENHDRS) $(srcdir)/m4/TermExt.h.m4 > TermExt.h
|
|
$(INDENT) TermExt.h
|
|
|
|
Yatom.h: $(srcdir)/m4/Yatom.h.m4 $(M4GENHDRS)
|
|
$(M4) $(M4GENHDRS) $(srcdir)/m4/Yatom.h.m4 > Yatom.h
|
|
$(INDENT) Yatom.h
|
|
|
|
Atoms.h: $(srcdir)/m4/Atoms.h.m4 $(M4GENHDRS)
|
|
$(M4) $(M4GENHDRS) $(srcdir)/m4/Atoms.h.m4 > Atoms.h
|
|
$(INDENT) Atoms.h
|
|
|
|
sshift.h: $(srcdir)/m4/sshift.h.m4 $(M4GENHDRS)
|
|
$(M4) $(M4GENHDRS) $(srcdir)/m4/sshift.h.m4 > sshift.h
|
|
$(INDENT) sshift.h
|
|
|
|
absmi.o: $(srcdir)/C/absmi.c
|
|
$(CC) -c $(CFLAGS) $(ABSMI_FLAGS) $(srcdir)/C/absmi.c -o $@
|
|
|
|
adtdefs.o: $(srcdir)/C/adtdefs.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/adtdefs.c -o $@
|
|
|
|
agc.o: $(srcdir)/C/agc.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/agc.c -o $@
|
|
|
|
alloc.o: $(srcdir)/C/alloc.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/alloc.c -o $@
|
|
|
|
amasm.o: $(srcdir)/C/amasm.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/amasm.c -o $@
|
|
|
|
analyst.o: $(srcdir)/C/analyst.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/analyst.c -o $@
|
|
|
|
arith0.o: $(srcdir)/C/arith0.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/arith0.c -o $@
|
|
|
|
arith1.o: $(srcdir)/C/arith1.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/arith1.c -o $@
|
|
|
|
arith2.o: $(srcdir)/C/arith2.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/arith2.c -o $@
|
|
|
|
arrays.o: $(srcdir)/C/arrays.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/arrays.c -o $@
|
|
|
|
attvar.o: $(srcdir)/C/attvar.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/attvar.c -o $@
|
|
|
|
bb.o: $(srcdir)/C/bb.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/bb.c -o $@
|
|
|
|
bignum.o: $(srcdir)/C/bignum.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/bignum.c -o $@
|
|
|
|
#special rule for this one: we cannot use -fomit-frame-pointer because this will
|
|
# interface with the outside world.
|
|
c_interface.o: $(srcdir)/C/c_interface.c $(srcdir)/include/c_interface.h
|
|
$(CC) $(C_INTERF_FLAGS) -c $(srcdir)/C/c_interface.c -o c_interface.o
|
|
|
|
cdmgr.o: $(srcdir)/C/cdmgr.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/cdmgr.c -o $@
|
|
|
|
cmppreds.o: $(srcdir)/C/cmppreds.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/cmppreds.c -o $@
|
|
|
|
compiler.o: $(srcdir)/C/compiler.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/compiler.c -o $@
|
|
|
|
computils.o: $(srcdir)/C/computils.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/computils.c -o $@
|
|
|
|
corout.o: $(srcdir)/C/corout.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/corout.c -o $@
|
|
|
|
dbase.o: $(srcdir)/C/dbase.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/dbase.c -o $@
|
|
|
|
errors.o: $(srcdir)/C/errors.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/errors.c -o $@
|
|
|
|
eval.o: $(srcdir)/C/eval.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/eval.c -o $@
|
|
|
|
exec.o: $(srcdir)/C/exec.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/exec.c -o $@
|
|
|
|
grow.o: $(srcdir)/C/grow.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/grow.c -o $@
|
|
|
|
heapgc.o: $(srcdir)/C/heapgc.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/heapgc.c -o $@
|
|
|
|
index.o: $(srcdir)/C/index.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/index.c -o $@
|
|
|
|
init.o: $(srcdir)/C/init.c
|
|
$(CC) -c $(CFLAGS) -DYAP_VERSION=\"$(VERSION)\" $(srcdir)/C/init.c -o $@
|
|
|
|
inlines.o: $(srcdir)/C/inlines.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/inlines.c -o $@
|
|
|
|
iopreds.o: $(srcdir)/C/iopreds.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/iopreds.c -o $@
|
|
|
|
depth_bound.o: $(srcdir)/C/depth_bound.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/depth_bound.c -o $@
|
|
|
|
load_foreign.o: $(srcdir)/C/load_foreign.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/load_foreign.c -DSHLIB_SUFFIX=\"$(SHLIB_SUFFIX)\" -o $@
|
|
|
|
load_dl.o: $(srcdir)/C/load_dl.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/load_dl.c -o $@
|
|
|
|
load_aout.o: $(srcdir)/C/load_aout.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/load_aout.c -o $@
|
|
|
|
load_aix.o: $(srcdir)/C/load_aix.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/load_aix.c -o $@
|
|
|
|
load_dld.o: $(srcdir)/C/load_dld.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/load_dld.c -o $@
|
|
|
|
load_dll.o: $(srcdir)/C/load_dll.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/load_dll.c -o $@
|
|
|
|
load_dyld.o: $(srcdir)/C/load_dyld.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/load_dyld.c -o $@
|
|
|
|
load_shl.o: $(srcdir)/C/load_shl.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/load_shl.c -o $@
|
|
|
|
load_none.o: $(srcdir)/C/load_none.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/load_none.c -o $@
|
|
|
|
mavar.o: $(srcdir)/C/mavar.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/mavar.c -o $@
|
|
|
|
modules.o: $(srcdir)/C/modules.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/modules.c -o $@
|
|
|
|
other.o: $(srcdir)/C/other.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/other.c -o $@
|
|
|
|
parser.o: $(srcdir)/C/parser.c
|
|
$(CC) -c $(C_PARSER_FLAGS) $(srcdir)/C/parser.c -o $@
|
|
|
|
save.o: $(srcdir)/C/save.c
|
|
$(CC) -c $(CFLAGS) -DYAP_VERSION=\"$(VERSION)\" -DBIN_DIR=\"$(BINDIR)\" -DLIB_DIR=\"$(YAPLIBDIR)\" $(srcdir)/C/save.c -o $@
|
|
|
|
scanner.o: $(srcdir)/C/scanner.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/scanner.c -o $@
|
|
|
|
sort.o: $(srcdir)/C/sort.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/sort.c -o $@
|
|
|
|
stdpreds.o: $(srcdir)/C/stdpreds.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/stdpreds.c -o $@
|
|
|
|
sysbits.o: $(srcdir)/C/sysbits.c
|
|
$(CC) -c $(CFLAGS) -DLIB_DIR=\"$(YAPLIBDIR)\" -DSHARE_DIR=\"$(SHAREDIR)\" $(srcdir)/C/sysbits.c -o $@
|
|
|
|
threads.o: $(srcdir)/C/threads.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/threads.c -o $@
|
|
|
|
tracer.o: $(srcdir)/C/tracer.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/tracer.c -o $@
|
|
|
|
unify.o: $(srcdir)/C/unify.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/unify.c -o $@
|
|
|
|
userpreds.o: $(srcdir)/C/userpreds.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/userpreds.c -o $@
|
|
|
|
utilpreds.o: $(srcdir)/C/utilpreds.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/utilpreds.c -o $@
|
|
|
|
write.o: $(srcdir)/C/write.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/write.c -o $@
|
|
|
|
yap.o: $(srcdir)/console/yap.c
|
|
$(CC) -c $(CFLAGS) -I$(srcdir)/include -DYAP_VERSION=\"$(VERSION)\" -DPL_SRC_DIR=\"$(SHAREDIR)/Yap/pl/\" $(srcdir)/console/yap.c -o $@
|
|
|
|
ypsocks.o: $(srcdir)/C/ypsocks.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/ypsocks.c -o $@
|
|
|
|
ypstdio.o: $(srcdir)/C/ypstdio.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/C/ypstdio.c -o $@
|
|
|
|
opt.memory.o: $(srcdir)/OPTYap/opt.memory.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/OPTYap/opt.memory.c -o $@
|
|
|
|
opt.misc.o: $(srcdir)/OPTYap/opt.misc.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/OPTYap/opt.misc.c -o $@
|
|
|
|
opt.init.o: $(srcdir)/OPTYap/opt.init.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/OPTYap/opt.init.c -o $@
|
|
|
|
opt.preds.o: $(srcdir)/OPTYap/opt.preds.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/OPTYap/opt.preds.c -o $@
|
|
|
|
or.cut.o: $(srcdir)/OPTYap/or.cut.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/OPTYap/or.cut.c -o $@
|
|
|
|
or.engine.o: $(srcdir)/OPTYap/or.engine.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/OPTYap/or.engine.c -o $@
|
|
|
|
or.cowengine.o: $(srcdir)/OPTYap/or.cowengine.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/OPTYap/or.cowengine.c -o $@
|
|
|
|
or.sbaengine.o: $(srcdir)/OPTYap/or.sbaengine.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/OPTYap/or.sbaengine.c -o $@
|
|
|
|
or.scheduler.o: $(srcdir)/OPTYap/or.scheduler.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/OPTYap/or.scheduler.c -o $@
|
|
|
|
tab.tries.o: $(srcdir)/OPTYap/tab.tries.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/OPTYap/tab.tries.c -o $@
|
|
|
|
tab.suspend.o: $(srcdir)/OPTYap/tab.suspend.c
|
|
$(CC) -c $(CFLAGS) $(srcdir)/OPTYap/tab.suspend.c -o $@
|
|
|
|
mpi.o: $(srcdir)/library/mpi/mpi.c
|
|
$(MPI_CC) -c $(CFLAGS) $(srcdir)/library/mpi/mpi.c -o $@
|
|
|
|
mpe.o: $(srcdir)/library/mpi/mpe.c
|
|
$(MPI_CC) -c $(CFLAGS) $(srcdir)/library/mpi/mpe.c -o $@
|
|
|
|
## CPP'ed files (for macro debugging)
|
|
|
|
%.i : $(srcdir)/C/%.c
|
|
$(CC) -E $< $(CFLAGS) > $@
|
|
|
|
absmi.i: $(srcdir)/C/absmi.c
|
|
$(CC) -E $(CFLAGS) $(ABSMI_FLAGS) $(srcdir)/C/absmi.c > $@
|
|
|
|
c_interface.i: $(srcdir)/C/c_interface.c $(srcdir)/include/c_interface.h
|
|
$(CC) -E $(C_INTERF_FLAGS) $(srcdir)/C/c_interface.c > $@
|
|
#
|
|
|
|
mycb: $(srcdir)/mycb.c
|
|
$(CC) $(CFLAGS) $(srcdir)/mycb.c -o mycb
|
|
|
|
startup: yap@EXEC_SUFFIX@ $(PL_SOURCES)
|
|
-rm -f startup
|
|
echo "['$(srcdir)/pl/init.yap']. module(user). save_program(startup)." | @CROSS_SIMULATOR@ ./yap -b $(srcdir)/pl/boot.yap
|
|
|
|
yap@EXEC_SUFFIX@: $(HEADERS) yap.o @YAPLIB@
|
|
$(MPI_CC) $(STANDARD_CFLAGS) $(LDFLAGS) -o yap yap.o @YAPLIB@ $(LIBS) @MPI_LIBS@
|
|
|
|
libYap.a: $(LIB_OBJECTS)
|
|
-rm -f libYap.a
|
|
$(AR) rc libYap.a $(LIB_OBJECTS)
|
|
$(RANLIB) libYap.a
|
|
|
|
@DO_SECOND_LD@libYap@SHLIB_SUFFIX@: $(LIB_OBJECTS)
|
|
@DO_SECOND_LD@ @SHLIB_LD@ -o libYap@SHLIB_SUFFIX@ $(LIB_OBJECTS) $(LIBS)
|
|
|
|
install: install_bin install_data
|
|
|
|
install_bin: @INSTALL_COMMAND@
|
|
|
|
install_unix: startup
|
|
mkdir -p $(DESTDIR)$(BINDIR)
|
|
$(INSTALL_PROGRAM) -m 755 yap@EXEC_SUFFIX@ $(DESTDIR)$(BINDIR)/yap
|
|
mkdir -p $(DESTDIR)$(YAPLIBDIR)
|
|
$(INSTALL_DATA) startup $(DESTDIR)$(YAPLIBDIR)/startup
|
|
$(INSTALL_DATA) libYap.a $(DESTDIR)$(LIBDIR)/libYap.a
|
|
mkdir -p $(DESTDIR)$(SHAREDIR)/Yap
|
|
mkdir -p $(DESTDIR)$(SHAREDIR)/Yap/pl
|
|
for f in $(PL_SOURCES); do $(INSTALL) $$f $(DESTDIR)$(SHAREDIR)/Yap/pl; done
|
|
@INSTALL_DLLS@ (cd library/random; make install)
|
|
@INSTALL_DLLS@ (cd library/regex; make install)
|
|
@INSTALL_DLLS@ (cd library/system; make install)
|
|
@INSTALL_DLLS@ (cd library/yap2swi; make install)
|
|
@INSTALL_DLLS@ (cd library/Tries; make install)
|
|
mkdir -p $(DESTDIR)$(INCLUDEDIR)
|
|
for h in $(INTERFACE_HEADERS); do $(INSTALL) $$h $(DESTDIR)$(INCLUDEDIR); done
|
|
|
|
install_win32: startup
|
|
mkdir -p $(DESTDIR)$(BINDIR)
|
|
mkdir -p $(DESTDIR)$(LIBDIR)
|
|
mkdir -p $(DESTDIR)$(YAPLIBDIR)
|
|
mkdir -p $(DESTDIR)$(INCLUDEDIR)
|
|
$(INSTALL_PROGRAM) -m 755 yap.exe $(DESTDIR)$(BINDIR)/yap.exe
|
|
$(INSTALL_PROGRAM) -m 755 yap.dll $(DESTDIR)$(BINDIR)/yap.dll
|
|
$(INSTALL_PROGRAM) -m 755 libWYap.a $(DESTDIR)$(YAPLIBDIR)/libWYap.a
|
|
$(INSTALL_PROGRAM) -m 755 startup $(DESTDIR)$(YAPLIBDIR)/startup
|
|
$(INSTALL) $(HEADERS) $(DESTDIR)$(INCLUDEDIR)
|
|
$(INSTALL) $(srcdir)/include/c_interface.h $(DESTDIR)$(INCLUDEDIR)/c_interface.h
|
|
$(INSTALL) config.h $(INCLUDEDIR)/config.h
|
|
(cd library/random; make install)
|
|
(cd library/regex; make install)
|
|
(cd library/system; make install)
|
|
(cd library/yap2swi; make install)
|
|
(cd library/Tries; make install)
|
|
|
|
install_library: @YAPLIB@
|
|
$(INSTALL_DATA) libYap.a $(DESTDIR)$(LIBDIR)/libYap.a
|
|
mkdir -p $(DESTDIR)$(INCLUDEDIR)
|
|
for h in $(HEADERS); do $(INSTALL) $$h $(DESTDIR)$(INCLUDEDIR); done
|
|
|
|
install_data:
|
|
(cd library ; make install)
|
|
$(INSTALL_DATA) $(srcdir)/LGPL/pillow/icon_address.pl $(DESTDIR)$(SHAREDIR)/Yap/
|
|
$(INSTALL_DATA) $(srcdir)/LGPL/pillow/pillow.pl $(DESTDIR)$(SHAREDIR)/Yap/
|
|
(cd CLPQR ; make install)
|
|
(cd CHR ; make install)
|
|
|
|
|
|
##########
|
|
TAGS: $(C_SOURCES) $(PL_SOURCES) $(HEADERS)
|
|
etags $(C_SOURCES) $(PL_SOURCES) $(HEADERS)
|
|
|
|
depend: $(HEADERS) $(C_SOURCES)
|
|
-@if test "$(GCC)" = yes; then\
|
|
$(CC) -MM $(CFLAGS) -I$(srcdir)/include $(C_SOURCES) > .depend;\
|
|
else\
|
|
makedepend -f - -- $(CFLAGS) -I$(srcdir)/include -- $(C_SOURCES) |\
|
|
sed 's|.*/\([^:]*\):|\1:|' > .depend ;\
|
|
fi
|
|
|
|
clean: clean_docs
|
|
rm -f *.o *~ $(GHEADERS) *.BAK
|
|
|
|
realclean: clean realclean_docs
|
|
rm -f yap@EXEC_SUFFIX@ startup config.log config.cache config.h
|
|
|
|
dist:
|
|
|
|
.c.s:
|
|
$(CC) $(CFLAGS) -S $<
|
|
|
|
# use my own .def file.
|
|
libWYap.a: yap.dll
|
|
dlltool --def $(srcdir)/misc/yap.def \
|
|
--dllname yap.dll \
|
|
--output-lib libWYap.a
|
|
|
|
yap.dll: libYap.a
|
|
$(CC) $(CFLAGS) -shared -o yap.dll \
|
|
-Wl,--export-all-symbols \
|
|
-Wl,--enable-auto-import \
|
|
-Wl,--whole-archive libYap.a \
|
|
-Wl,--no-whole-archive $(LIBS)
|
|
|
|
install_info:
|
|
make info; \
|
|
$(INSTALL) yap.info* $(DESTDIR)$(INFODIR); \
|
|
if test -e $(DESTDIR)$(INFODIR)/emacs.bz2; then \
|
|
bzip2 --quiet --force $(DESTDIR)$(INFODIR)/yap.info*; \
|
|
else \
|
|
if test -e $(DESTDIR)$(INFODIR)/emacs.gz; then \
|
|
gzip --quiet --force $(DESTDIR)$(INFODIR)/yap.info*; \
|
|
fi \
|
|
fi; \
|
|
$(INSTALL_INFO) --quiet --section "Programming Languages" yap.info $(DESTDIR)$(INFODIR)/dir; \
|
|
cd $(srcdir)/LGPL/pillow/doc ; \
|
|
$(INSTALL) pillow_doc.info $(DESTDIR)$(INFODIR); \
|
|
if test -e $(DESTDIR)$(INFODIR)/emacs.bz2; then \
|
|
bzip2 --quiet --force $(DESTDIR)$(INFODIR)/pillow_doc.info; \
|
|
else \
|
|
if test -e $(DESTDIR)$(INFODIR)/emacs.gz; then \
|
|
gzip --quiet --force $(DESTDIR)$(INFODIR)/pillow_doc.info; \
|
|
fi \
|
|
fi; \
|
|
$(INSTALL_INFO) --quiet --section "Programming Languages" --entry="`cat pillow_doc.infoindex`" pillow_doc.info $(INFODIR)/dir
|
|
|
|
info: yap.info
|
|
|
|
yap.info: $(srcdir)/docs/yap.tex
|
|
$(MAKEINFO) $(srcdir)/docs/yap.tex
|
|
|
|
html: yap.html
|
|
|
|
yap.html: $(srcdir)/docs/yap.tex
|
|
$(TEXI2HTML) $(srcdir)/docs/yap.tex
|
|
|
|
dvi: yap.dvi
|
|
|
|
yap.dvi: $(srcdir)/docs/yap.tex
|
|
$(TEXI2DVI) $(srcdir)/docs/yap.tex
|
|
|
|
ps: yap.ps
|
|
|
|
yap.ps: $(srcdir)/docs/yap.dvi
|
|
dvips -o yap.ps $(srcdir)/docs/yap
|
|
|
|
pdf: yap.pdf
|
|
|
|
yap.pdf: $(srcdir)/docs/yap.tex
|
|
$(TEXI2PDF) $(srcdir)/docs/yap.tex
|
|
|
|
clean_docs:
|
|
rm -f *.aux *.ca *.cas *.cn *.cns *.cp *.cps *.cy *.cys *.dvi *.fn *.fns *.ky *.log *.sa *.sas *.sn *.sns *.sy *.sys *~ *.tp *.vr *.toc *.pg
|
|
|
|
realclean_docs: clean_docs
|
|
rm -f yap.ps yap.html yap_toc.html yap.pdf yap.info*
|
|
|
|
|
|
|
|
# DO NOT DELETE THIS LINE -- make depend depends on it.
|
|
|
|
include .depend
|