backends/Makefile

   1 # Makefile for swig calls and magic necessary for each backend
   2 SWIG=swig -cffi
   3 all: precosat
   4
   5 precosat: precosat_lisp precosat_bin precosat_shlib
   6
   7 # swig on wrapper
   8 precosat_lisp:
   9         (cd precosat && $(SWIG) precosat-cffi.i)
  10
  11 # basic binary stuff as provided by authors
  12 precosat_bin:
  13         #(cd precosat && env CXX="c++ -fPIC" sh configure -g --check && env CXX="c++ -fPIC" make)
  14         (cd precosat && env CXX="c++ -fPIC" sh configure && env CXX="c++ -fPIC" make)
  15
  16 # shlib. FIXME: should be done portably
  17 precosat_shlib: precosat_bin
  18         (cd precosat && make libprecosat.so)
  19