model.am

# vi: set ft=automake:

VPATH =
vpath %.cpp $(srcdir)
vpath %.cc $(srcdir)
vpath %.c $(srcdir)
vpath %.hpp $(srcdir)
vpath %.hh $(srcdir)
vpath %.h $(srcdir)
vpath %.yy $(srcdir)
vpath %.ll $(srcdir)

DIAGNOSTICSLEVEL ?= @DIAGNOSTICSLEVEL@

AM_CPPFLAGS = -std=c++11 -I$(top_builddir) -I$(top_srcdir) -I@CBMCDIR@/src/ -DSTL_HASH_STD -I$(top_builddir)/astl/include -I@MINISATDIR@ -DFSHELL2_DEBUG__LEVEL__=$(DIAGNOSTICSLEVEL)

MAINTAINERCLEANFILES = Makefile.in
MOSTLYCLEANFILES = diag_stamp_*

if DIAGNOSTICS
level_suffix = $(DIAGNOSTICSLEVEL)
BUILT_SOURCES = diag_stamp_$(level_suffix)

diag_stamp_$(level_suffix):
	-rm -f *.$(OBJEXT) *.lo *.la
	-rm -f diag_stamp_*
	touch diag_stamp_$(level_suffix)

AM_LDFLAGS = -ldiagnostics
if DIAGNOSTICSDIR_DEFINED
AM_CPPFLAGS += -I@DIAGNOSTICSDIR@/include
AM_LDFLAGS += -L@DIAGNOSTICSDIR@/lib
TESTS_ENVIRONMENT = LD_LIBRARY_PATH=@DIAGNOSTICSDIR@/lib $(top_srcdir)/config/runtest.sh $(top_srcdir) $(DIAGNOSTICSLEVEL)
else
TESTS_ENVIRONMENT = $(top_srcdir)/config/runtest.sh $(top_srcdir) $(DIAGNOSTICSLEVEL)
endif
AM_TESTS_FD_REDIRECT = run "/*" $(DIAGNOSTICSLEVEL)

debug audit debug-check audit-check: CXXFLAGS := $(filter-out -O1 -O2 -O3 -Os,$(CXXFLAGS)) -O0 -g
debug audit debug-check audit-check:
	test -f $(top_srcdir)/build/`echo $@ | @AWK@ -F- '{print $$1}'`/Makefile || \
    ( level=`echo $@ | @AWK@ -F- '{print $$1}'` ; \
			mkdir -p $(top_srcdir)/build ; \
			mkdir -p $(top_srcdir)/build/$$level ; \
      cd $(top_srcdir) ; test -f config.status && mv config.status config.status.top || : ; \
      cd build/$$level ; \
			../../configure --disable-update-makefiles --with-diagnostics=@DIAGNOSTICSDIR@,$$level \
        @additional_args@ \
				CC="$(CC)" CXX="$(CXX)" AR="$(AR)" RANLIB="$(RANLIB)" LEX="$(LEX)" \
				CXXFLAGS="$(CXXFLAGS)" LDFLAGS="$(LDFLAGS)" ; \
			cd ../../ ; test -f config.status.top && mv config.status.top config.status || : )
	cd $(top_srcdir)/build/`echo $@ | @AWK@ -F- '{print $$1}'``pwd | sed "s|^\`cd $(top_builddir) > /dev/null; pwd\`||"` && \
    $(MAKE) $(AM_MAKEFLAGS) `echo $@ | @AWK@ -F- '{print $$2}'`

prod prod-check:
	test -f $(top_srcdir)/Makefile || \
    ( cd $(top_srcdir) ; ./configure --disable-update-makefiles --with-diagnostics=@DIAGNOSTICSDIR@,prod @additional_args@ \
			CC="$(CC)" CXX="$(CXX)" AR="$(AR)" RANLIB="$(RANLIB)" LEX="$(LEX)" \
			CXXFLAGS="$(CXXFLAGS)" LDFLAGS="$(LDFLAGS)" )
	cd $(top_srcdir)/`pwd | sed "s|^\`cd $(top_builddir) > /dev/null; pwd\`||"` && \
    $(MAKE) $(AM_MAKEFLAGS) `echo $@ | @AWK@ -F- '{print $$2}'`

endif

release: CXXFLAGS := $(filter-out -O1 -O2 -O3 -Os -g -pg,$(CXXFLAGS)) -Wall -Werror -pedantic -O3
release:
	test -f $(top_srcdir)/build/$@/Makefile || \
    ( mkdir -p $(top_srcdir)/build ; \
			mkdir -p $(top_srcdir)/build/$@ ; \
      cd $(top_srcdir) ; test -f config.status && mv config.status config.status.top || : ; \
      cd build/$@ ; \
			../../configure --disable-update-makefiles --without-diagnostics \
        @additional_args@ \
				CC="$(CC)" CXX="$(CXX)" AR="$(AR)" RANLIB="$(RANLIB)" LEX="$(LEX)" \
				CXXFLAGS="$(CXXFLAGS)" LDFLAGS="$(LDFLAGS)" ; \
			cd ../../ ; test -f config.status.top && mv config.status.top config.status || : )
	cd $(top_srcdir)/build/`echo $@``pwd | sed "s|^\`cd $(top_builddir) > /dev/null; pwd\`||"` && \
    $(MAKE) $(AM_MAKEFLAGS)