Makefile

.PHONY:	config all cabal
all:	tests
## Load Previous Configuration ####################################################################

-include config.mk

## Configurable options ###########################################################################

# Directory to store object files, libraries, executables, and dependencies:
BUILD_DIR  ?= build

# Dependencies
MINISAT_INCLUDE?=
MINISAT_LIB    ?=-lminisat
MCBIND_INCLUDE ?=
MCBIND_LIB     ?=-lminisat-c

# GNU Standard Install Prefix
prefix         ?= /usr/local

## Write Configuration  ###########################################################################

config:
	@( echo 'BUILD_DIR?=$(BUILD_DIR)'            ; \
	   echo 'MINISAT_INCLUDE?=$(MINISAT_INCLUDE)'; \
	   echo 'MINISAT_LIB?=$(MINISAT_LIB)'	     ; \
	   echo 'MCBIND_INCLUDE?=$(MCBIN_INCLUDE)'   ; \
	   echo 'MCBIND_LIB?=$(MCBIND_LIB)'	     ; \
	   echo 'prefix?=$(prefix)'                  ) > config.mk

## Configurable options end #######################################################################

GHC?=ghc

# Note: as long as we are using dynamic linking with the external libraries, stdc++ will be pulled
# in automaticall. If linking is static, we will have to specify it explicitly.
GHC_COMPILEFLAGS=-fno-warn-deprecated-flags -ignore-package minisat
GHC_LINKFLAGS=-package QuickCheck $(MCBIND_LIB) $(MINISAT_LIB) -lz #-lstdc++

ifeq ($(VERB),)
ECHO=@
VERB=@
else
ECHO=#
VERB=
endif

SRCS = $(basename $(wildcard *.hs) $(wildcard *.hsc))
OBJS = $(addsuffix .o, $SRCS)

tests:	$(BUILD_DIR)/release/bin/test-minisatraw

## Build-type Compile-flags:
$(BUILD_DIR)/release/%.o:			GHC_COMPILEFLAGS+=-O2
$(BUILD_DIR)/debug/%.o:				MBINDC_CXXFLAGS +=$(MBINDC_DEB) -g

## Test link rules:
$(BUILD_DIR)/release/bin/test-minisatraw:	$(BUILD_DIR)/release/MiniSat.o $(BUILD_DIR)/release/TestMiniSat.o
	$(VERB) echo Linking: $@
	$(ECHO) mkdir -p $(dir $@)
	$(ECHO) $(GHC) -o $@ $^ $(GHC_LINKFLAGS) #-lstdc++

## Dependency rules:
$(BUILD_DIR)/%.d:	$(BUILD_DIR)/%.hs $(foreach s, $(SRCS), $(BUILD_DIR)/release/$s.hs)
	$(VERB) echo Resolving dependencies: $@
	$(ECHO) mkdir -p $(dir $@)
	$(ECHO) rm -f $@
	$(ECHO) $(GHC) $(GHC_COMPILEFLAGS) -M -dep-makefile $@ $< -outputdir $(dir $@) -i$(dir $@)
# When generating dependencies for ModuleName.hs,
# GHC expects the output file to be Main.o if ModuleName is the main module
	$(ECHO) sed -i 's!^$(dir $@)Main\.o!$(@:.d=.o)!' $@
# Just deal in .o files: it's simpler.
	$(ECHO) sed -i 's!\.hi!.o!g' $@

$(BUILD_DIR)/release/MiniSat.o:	$(BUILD_DIR)/release/MiniSatAPITypeCheck.hs
$(BUILD_DIR)/release/MiniSatAPITypeCheck.hs:	HSC2HS_FLAGS=-DMiniSat_Opaque
$(BUILD_DIR)/release/MiniSatAPITypeCheck.hsc: MiniSat.hsc
	$(ECHO) mkdir -p $(dir $@)
	$(ECHO) ln -sf ../../$< $@

## Compile rules:
$(BUILD_DIR)/%.o:	$(BUILD_DIR)/%.hs
	$(VERB) echo Compiling: $@
	$(ECHO) mkdir -p $(dir $@)
	$(ECHO) $(GHC) $(GHC_COMPILEFLAGS) -c -o $@ $< -outputdir $(dir $@) -i$(dir $@)
$(BUILD_DIR)/%.hs:	$(BUILD_DIR)/%.hsc
	$(VERB) echo Generating: $@
	$(ECHO) mkdir -p $(dir $@)
	$(ECHO) hsc2hs -o $@ $< $(MINISAT_INCLUDE) $(MCBIND_INCLUDE) -I$(dir $@) -I. $(foreach x, $(MCBIND_LIB) $(MINISAT_LIB), -L $x) $(HSC2HS_FLAGS)
$(BUILD_DIR)/release/%: %
	$(ECHO) mkdir -p $(dir $@)
	$(ECHO) ln -sf ../../$< $@

ghci:	
#	ghci Sat.hs $(GHC_COMPILEFLAGS) $(GHC_LINKFLAGS)
	ghci TestMiniSat.hs $(GHC_COMPILEFLAGS) $(GHC_LINKFLAGS)

ghci2:
	ghci SatImplicit.hs $(GHC_LINKFLAGS)

cabal: $(BUILD_DIR)/release/MiniSatAPITypeCheck.hs
	cabal install $(foreach x, $(filter -I%, $(MINISAT_INCLUDE) $(MCBIND_INCLUDE)),--extra-include-dirs=$(x:-I%=%)) $(foreach x, $(filter -L%,$(MINISAT_LIB) $(MCBIND_LIB)),--extra-lib-dirs=$(x:-L%=%)) --builddir=$(BUILD_DIR)/cabal

-include $(foreach s, $(SRCS), $(BUILD_DIR)/release/$s.d)