1# 2# default base directory for YAP installation 3# (EROOT for architecture-dependent files) 4# 5prefix = @prefix@ 6exec_prefix = @exec_prefix@ 7ROOTDIR = $(prefix) 8EROOTDIR = @exec_prefix@ 9abs_top_builddir = @abs_top_builddir@ 10# 11# where the binary should be 12# 13BINDIR = $(EROOTDIR)/bin 14# 15# where YAP should look for libraries 16# 17LIBDIR=@libdir@ 18YAPLIBDIR=@libdir@/Yap 19# 20# where YAP should look for architecture-independent Prolog libraries 21# 22SHAREDIR=$(ROOTDIR)/share 23# 24# 25CC=@CC@ 26# 27# 28# You shouldn't need to change what follows. 29# 30INSTALL=@INSTALL@ 31INSTALL_DATA=@INSTALL_DATA@ 32INSTALL_PROGRAM=@INSTALL_PROGRAM@ 33SHELL=/bin/sh 34RANLIB=@RANLIB@ 35srcdir=@srcdir@ 36SO=@SO@ 37#4.1VPATH=@srcdir@:@srcdir@/OPTYap 38CWD=$(PWD) 39# 40 41DYNAMIC = 42CFLAGS = @CFLAGS@ 43INCLUDE = @CUDD_CPPFLAGS@ 44LINKFLAGS = -lm 45LINKLIBS = @CUDD_LDFLAGS@ 46 47default: problogbdd_lfi 48 49problogbdd_lfi: problogbdd_lfi.o simplecudd.o general.o problogmath.o pqueue.o allocate.o iqueue.o adterror.o allocate.o 50 @echo Making problogbdd_lfi... 51 @echo Copyright Katholieke Universiteit Leuven 2008 52 @echo Authors: T. Mantadelis, A. Kimmig, B. Gutmann, I. Thon, G. Van den Broeck 53 $(CC) problogbdd_lfi.o simplecudd.o general.o problogmath.o pqueue.o iqueue.o adterror.o allocate.o $(LINKLIBS) $(LINKFLAGS) -o problogbdd_lfi 54 55%.o : $(srcdir)/%.c 56 $(CC) $(CFLAGS) $(INCLUDE) $(DYNAMIC) -c $< 57 58clean: 59 rm -f *.o problogbdd_lfi 60 61install: default 62 $(INSTALL_PROGRAM) problogbdd_lfi $(DESTDIR)$(SHAREDIR)/Yap 63