#
# default base directory for YAP installation
# (EROOT for architecture-dependent files)
#
prefix = @prefix@
exec_prefix = @exec_prefix@
ROOTDIR = $(prefix)
EROOTDIR = @exec_prefix@
abs_top_builddir = @abs_top_builddir@
#
# where the binary should be
#
BINDIR = $(EROOTDIR)/bin
#
# where YAP should look for libraries
#
LIBDIR=@libdir@
SHAREDIR=$(ROOTDIR)/share/Yap
YAPLIBDIR=@libdir@/Yap
#
#
CC=@CC@
CFLAGS= @SHLIB_CFLAGS@ $(YAP_EXTRAS) $(DEFS) -I$(srcdir) -I../.. -I$(srcdir)/../../include  @CUDD_CPPFLAGS@
LDFLAGS=@LDFLAGS@
#
#
# You shouldn't need to change what follows.
#
INSTALL=@INSTALL@
INSTALL_DATA=@INSTALL_DATA@
INSTALL_PROGRAM=@INSTALL_PROGRAM@
SHELL=/bin/sh
RANLIB=@RANLIB@
srcdir=@srcdir@
SO=@SO@
#4.1VPATH=@srcdir@:@srcdir@/OPTYap
CWD=$(PWD)
#

BDD_PROLOG= \
	$(srcdir)/bdd.yap \
	$(srcdir)/simpbool.yap \
	$(srcdir)/ddnnf.yap \
	$(srcdir)/trie_sp.yap

OBJS=cudd.o
SOBJS=cudd.@SO@

#in some systems we just create a single object, in others we need to
# create a libray

all: $(SOBJS) 

cudd.o: $(srcdir)/cudd.c
	$(CC) -c $(CFLAGS) $(srcdir)/cudd.c -o cudd.o

@DO_SECOND_LD@%.@SO@: %.o
@DO_SECOND_LD@	@SHLIB_LD@ $(LDFLAGS) -o $@ $< @EXTRA_LIBS_FOR_DLLS@  @CUDD_LDFLAGS@

@DO_SECOND_LD@cudd.@SO@: cudd.o
@DO_SECOND_LD@	@SHLIB_LD@ $(LDFLAGS) -o cudd.@SO@ cudd.o @EXTRA_LIBS_FOR_DLLS@  @CUDD_LDFLAGS@

install: all
	mkdir -p $(DESTDIR)$(SHAREDIR)
	for h in $(BDD_PROLOG); do $(INSTALL_DATA) $$h $(DESTDIR)$(SHAREDIR); done
	$(INSTALL_PROGRAM) $(SOBJS) $(DESTDIR)$(YAPLIBDIR)

clean:
	rm -f *.o *~ $(OBJS) $(SOBJS) *.BAK

