This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/packages/swi-minisat2/C/Makefile.in

91 lines
2.0 KiB
Makefile
Raw Normal View History

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
#
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@
CXXFLAGS= @CXXFLAGS@ $(YAP_EXTRAS) $(DEFS) -D_YAP_NOT_INSTALLED_=1 -I$(srcdir) -I../../.. -I$(srcdir)/../../../include
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@
SHLIB_CFLAGS=@SHLIB_CFLAGS@
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
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
Solver.o : $(srcdir)/Solver.C
$(CXX) -c $(CXXFLAGS) $(SHLIB_CFLAGS) $(srcdir)/Solver.C -o Solver.o
pl-minisat.o : $(srcdir)/pl-minisat.C
2009-11-23 21:03:04 +00:00
$(CXX) -c $(CXXFLAGS) $(SHLIB_CFLAGS) $(srcdir)/pl-minisat.C -o pl-minisat.o
2009-11-11 10:56:37 +00: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
$(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\
$(CC) -MM -MG $(CFLAGS) -I$(srcdir) -I$(srcdir)/../../../include -I$(srcdir)/../../../H $(C_SOURCES) >> Makefile;\
2009-11-11 10:56:37 +00:00
else\
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.