backends/minisat/Makefile.am

   1 # minisat automake makefile snippet
   2 # on GNU g++ we use the strong optimization settings used for 'release' target
   3 if gnu_cxx
   4 AM_CPPFLAGS=-I$(srcdir)/mtl\
   5             -I$(srcdir)/core\
   6             -I$(srcdir)/simp $(minisatflags)\
   7             -Wall -O3 -DNDEBUG -ffloat-store
   8 else
   9 AM_CPPFLAGS=-I$(srcdir)/mtl\
  10             -I$(srcdir)/core\
  11             -I$(srcdir)/simp $(minisatflags)
  12 endif
  13
  14 lib_LTLIBRARIES=simp/libminisat.la
  15 BUILT_SOURCES=satwrap.minisat.lisp
  16
  17 simp_libminisat_la_SOURCES= simp/SimpSolver.C\
  18                        core/Solver.C\
  19                         minisat_wrap.cc
  20
  21 bin_PROGRAMS=simp/minisat
  22 simp_minisat_SOURCES=simp/Main.C
  23 simp_minisat_LDADD=simp/libminisat.la -lz
  24
  25 include_HEADERS= simp/SimpSolver.h\
  26                  mtl/Sort.h\
  27                  mtl/Alg.h\
  28                  mtl/Vec.h\
  29                  mtl/Map.h\
  30                  mtl/BasicHeap.h\
  31                  mtl/Heap.h\
  32                  mtl/BoxedVec.h\
  33                  mtl/Queue.h\
  34                  core/Solver.h\
  35                  core/SolverTypes.h\
  36                  minisat_wrap.h
  37
  38
  39 # SWIG rule:
  40 satwrap.minisat.lisp: minisat-cffi.i minisat_wrap.h minisat_wrap.cc Makefile
  41         @SWIG@ -cffi -o $@ $<