backends/Makefile

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