CC=g++
CFLAGS=-Wall
top_srcdir=~/SBMC/reps/sbmc/implementation/scc_search_sbmc/src
INCLUDES = \
    -I$(top_srcdir)/contrib \
    -I$(top_srcdir)/contrib/cudd-2.4.2/epd \
    -I$(top_srcdir)/contrib/cudd-2.4.2/mtr \
    -I$(top_srcdir)/contrib/cudd-2.4.2/st \
    -I$(top_srcdir)/contrib/cudd-2.4.2/util \
    -I$(top_srcdir)/contrib/cudd-2.4.2/dddmp \
    -I$(top_srcdir)/contrib/cudd-2.4.2/obj \
    -I$(top_srcdir)/contrib/cudd-2.4.2/cudd \
    -I$(top_srcdir)/contrib/minisat-2.0 \
    -I$(top_srcdir)/contrib/aigpp \
    -I$(top_srcdir)/contrib/lrabsutil \
    -I$(top_srcdir)/contrib/tinyxml-2.5.3

noinst_HEADERS = sccSearch.hpp
bin_PROGRAMS = sccSearch
*_SOURCES   = sccSearch.cpp

*_LDADD = $(top_builddir)/contrib/cudd-2.4.2/obj/libobj.la \
    $(top_builddir)/contrib/cudd-2.4.2/cudd/libcudd.la \
    $(top_builddir)/contrib/cudd-2.4.2/util/libutil.la \
    $(top_builddir)/contrib/cudd-2.4.2/epd/libepd.la \
    $(top_builddir)/contrib/cudd-2.4.2/mtr/libmtr.la \
    $(top_builddir)/contrib/cudd-2.4.2/st/libst.la \
    $(top_builddir)/contrib/minisat-2.0/libminisat.la \
    $(top_builddir)/contrib/aigpp/libaigpp.la \
    $(top_builddir)/contrib/lrabsutil/liblrabs.la \
    $(top_builddir)/contrib/tinyxml-2.5.3/libtinyxml.la \
    -lboost_program_options-mt \
    -lz \
    -lboost_iostreams-mt

all: sccSearch

sccSearch: sccSearch.o

%.o: %.cpp
    $(CC) $(INCLUDES) $(CFLAGS) -o $@ -c $<

.PHONY: clean
clean:
    rm -f *.o $(bin_PROGRAMS)