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 ACLOCAL_AMFLAGS=-I m4
  14
  15 lib_LTLIBRARIES=simp/libminisat.la
  16 BUILT_SOURCES=satwrap.minisat.lisp
  17
  18 simp_libminisat_la_SOURCES= simp/SimpSolver.C\
  19                        core/Solver.C\
  20                         minisat_wrap.cc
  21
  22 bin_PROGRAMS=simp/minisat
  23 simp_minisat_SOURCES=simp/Main.C
  24 simp_minisat_LDADD=simp/libminisat.la -lz
  25
  26 include_HEADERS= simp/SimpSolver.h\
  27                  mtl/Sort.h\
  28                  mtl/Alg.h\
  29                  mtl/Vec.h\
  30                  mtl/Map.h\
  31                  mtl/BasicHeap.h\
  32                  mtl/Heap.h\
  33                  mtl/BoxedVec.h\
  34                  mtl/Queue.h\
  35                  core/Solver.h\
  36                  core/SolverTypes.h\
  37                  minisat_wrap.h
  38
  39
  40 # SWIG rule:
  41 satwrap.minisat.lisp: minisat-cffi.i minisat_wrap.h minisat_wrap.cc Makefile
  42         @SWIG@ -cffi -o $@ $<