2009-11-11 10:56:37 +00:00
|
|
|
#
|
|
|
|
|
# default base directory for YAP installation
|
|
|
|
|
# (EROOT for architecture-dependent files)
|
|
|
|
|
#
|
|
|
|
|
GCC=@GCC@
|
|
|
|
|
prefix = @prefix@
|
2010-03-05 10:22:48 +00:00
|
|
|
exec_prefix = @exec_prefix@
|
2009-11-11 10:56:37 +00:00
|
|
|
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
|
|
|
|
|
#
|
2010-06-01 00:38:42 +01:00
|
|
|
LIBDIR=@libdir@
|
|
|
|
|
YAPLIBDIR=@libdir@/Yap
|
2009-11-11 10:56:37 +00:00
|
|
|
#
|
|
|
|
|
#
|
|
|
|
|
CC=@CC@
|
2009-11-18 09:53:38 +00:00
|
|
|
CXX=@CXX@
|
2010-06-21 11:54:21 +01:00
|
|
|
CXXFLAGS= @SHLIB_CXXFLAGS@ $(YAP_EXTRAS) $(DEFS) -D_YAP_NOT_INSTALLED_=1 -I$(srcdir) -I../../.. -I$(srcdir)/../../../include @CPPFLAGS@
|
2009-11-11 10:56:37 +00:00
|
|
|
#
|
|
|
|
|
#
|
|
|
|
|
# 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@
|
2010-06-14 10:36:13 +01:00
|
|
|
SO=@SO@
|
2009-11-11 10:56:37 +00:00
|
|
|
#4.1VPATH=@srcdir@:@srcdir@/OPTYap
|
|
|
|
|
CWD=$(PWD)
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
HEADERS= \
|
|
|
|
|
$(srcdir)/Alg.h \
|
|
|
|
|
$(srcdir)/BasicHeap.h \
|
|
|
|
|
$(srcdir)/BoxedVec.h \
|
|
|
|
|
$(srcdir)/Heap.h \
|
|
|
|
|
$(srcdir)/Map.h \
|
|
|
|
|
$(srcdir)/Queue.h \
|
|
|
|
|
$(srcdir)/Solver.h \
|
|
|
|
|
$(srcdir)/SolverTypes.h \
|
|
|
|
|
$(srcdir)/Sort.h \
|
|
|
|
|
$(srcdir)/Vec.h
|
|
|
|
|
C_SOURCES=$(srcdir)/pl-minisat.C $(srcdir)/Solver.C
|
|
|
|
|
|
|
|
|
|
OBJS = \
|
|
|
|
|
Solver.o \
|
|
|
|
|
pl-minisat.o
|
|
|
|
|
|
2010-06-18 10:31:50 +01:00
|
|
|
SOBJS=pl-minisat.@SO@
|
2009-11-11 10:56:37 +00:00
|
|
|
|
|
|
|
|
#in some systems we just create a single object, in others we need to
|
|
|
|
|
# create a libray
|
|
|
|
|
|
|
|
|
|
all: $(SOBJS)
|
|
|
|
|
|
|
|
|
|
# default rule
|
2009-11-23 16:02:47 +00:00
|
|
|
Solver.o : $(srcdir)/Solver.C
|
2010-06-21 11:54:21 +01:00
|
|
|
$(CXX) -c $(CXXFLAGS) $(srcdir)/Solver.C -o Solver.o
|
2009-11-23 16:02:47 +00:00
|
|
|
|
|
|
|
|
pl-minisat.o : $(srcdir)/pl-minisat.C
|
2010-06-21 11:54:21 +01:00
|
|
|
$(CXX) -c $(CXXFLAGS) $(srcdir)/pl-minisat.C -o pl-minisat.o
|
2009-11-11 10:56:37 +00:00
|
|
|
|
2010-06-18 10:31:50 +01:00
|
|
|
@DO_SECOND_LD@pl-minisat.@SO@: $(OBJS)
|
|
|
|
|
@DO_SECOND_LD@ @SHLIB_CXX_LD@ -o pl-minisat.@SO@ $(OBJS) @EXTRA_LIBS_FOR_SWIDLLS@
|
2009-11-11 10:56:37 +00:00
|
|
|
|
|
|
|
|
install: all
|
2010-06-01 00:38:42 +01:00
|
|
|
$(INSTALL_PROGRAM) $(SOBJS) $(DESTDIR)$(YAPLIBDIR)
|
2009-11-11 10:56:37 +00:00
|
|
|
|
|
|
|
|
clean:
|
|
|
|
|
rm -f *.o *~ $(OBJS) $(SOBJS) *.BAK
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
depend: $(HEADERS) $(C_SOURCES)
|
|
|
|
|
-@if test "$(GCC)" = yes; then\
|
2009-11-18 09:29:26 +00:00
|
|
|
$(CC) -MM -MG $(CFLAGS) -I$(srcdir) -I$(srcdir)/../../../include -I$(srcdir)/../../../H $(C_SOURCES) >> Makefile;\
|
2009-11-11 10:56:37 +00:00
|
|
|
else\
|
2009-11-18 09:29:26 +00:00
|
|
|
makedepend -f - -- $(CFLAGS) -I$(srcdir)/../../../H -I$(srcdir)/../../../include -- $(C_SOURCES) |\
|
2009-11-11 10:56:37 +00:00
|
|
|
sed 's|.*/\([^:]*\):|\1:|' >> Makefile ;\
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
# DO NOT DELETE THIS LINE -- make depend depends on it.
|
