AM_CPPFLAGS = -Wall -Wno-unknown-warning-option -Wno-parentheses -Wno-class-memaccess -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I$(srcdir)/outputFormatters -I$(srcdir)/specs -I$(srcdir)/utils -I$(srcdir)/parser -I$(srcdir)/satSolvers -I$(srcdir)/argSolvers -I$(top_srcdir)/resources/comssextractor_ng/

## CoQuiAAS source files
satSolversDirSources = satSolvers/SatSolver.h satSolvers/MssSolver.h satSolvers/ExternalSatSolver.cc satSolvers/ExternalSatSolver.h satSolvers/BuiltInMssSolverNG.cc satSolvers/BuiltInMssSolverNG.h satSolvers/BuiltInMssSolverNGGlucose.cc satSolvers/BuiltInMssSolverNGGlucose.h satSolvers/BuiltInSatSolverNG.cc satSolvers/BuiltInSatSolverNG.h satSolvers/BuiltInSatSolverNGGlucose.cc satSolvers/BuiltInSatSolverNGGlucose.h satSolvers/MaxSatSolver.h satSolvers/ExternalMaxSatSolver.h satSolvers/ExternalMaxSatSolver.cc satSolvers/LbxCoMssSolver.h satSolvers/LbxCoMssSolver.cc satSolvers/ExternalCoMssSolver.h satSolvers/ExternalCoMssSolver.cc
argSolversDirSources = argSolvers/SolverFactory.h argSolvers/SatEncodingHelper.cc argSolvers/SatEncodingHelper.h argSolvers/MssEncodingHelper.cc argSolvers/MssEncodingHelper.h argSolvers/MaxSatEncodingHelper.cc argSolvers/MaxSatEncodingHelper.h argSolvers/DefaultCompleteSemanticsSolver.cc argSolvers/DefaultCompleteSemanticsSolver.h argSolvers/DefaultRangeBasedSemanticsSolver.cc argSolvers/DefaultRangeBasedSemanticsSolver.h argSolvers/SemanticsProblemSolver.cc argSolvers/SemanticsProblemSolver.h argSolvers/DefaultGroundedSemanticsSolver.cc argSolvers/DefaultGroundedSemanticsSolver.h argSolvers/GraphBasedGroundedSemanticsSolver.cc argSolvers/GraphBasedGroundedSemanticsSolver.h argSolvers/DefaultPreferredSemanticsSolver.cc argSolvers/DefaultPreferredSemanticsSolver.h argSolvers/DefaultStableSemanticsSolver.cc argSolvers/DefaultStableSemanticsSolver.h argSolvers/DefaultSemistableSemanticsSolver.cc argSolvers/DefaultSemistableSemanticsSolver.h argSolvers/DefaultStageSemanticsSolver.cc argSolvers/DefaultStageSemanticsSolver.h argSolvers/DefaultIdealSemanticsSolver.cc argSolvers/DefaultIdealSemanticsSolver.h argSolvers/DefaultDungTriathlonSolver.cc argSolvers/DefaultDungTriathlonSolver.h argSolvers/DynamicSemanticsSolverDecorator.cc argSolvers/DynamicSemanticsSolverDecorator.h
outputFormattersDirSources = ./outputFormatters/SolverOutputFormatter.h ./outputFormatters/SolverOutputFormatter.cc ./outputFormatters/SolverOutputFormatterFactory.h ./outputFormatters/ICCMA17SolverOutputFormatter.h ./outputFormatters/ICCMA17SolverOutputFormatter.cc ./outputFormatters/ICCMA19SolverOutputFormatter.h ./outputFormatters/ICCMA19SolverOutputFormatter.cc
specsDirSources = ./specs/VarMap.cc ./specs/VarMap.h ./specs/Attacks.cc ./specs/Attacks.h ./specs/Types.h ./specs/Semantics.h
parserDirSources = ./parser/AspartixFormatParser.cc ./parser/AspartixFormatParser.h ./parser/CNFFormatParser.cc ./parser/CNFFormatParser.h ./parser/TrivialGraphFormatParser.cc ./parser/TrivialGraphFormatParser.h ./parser/IParser.h ./parser/ParserFactory.h
utilsDirSources= ./utils/DefaultStatMap.cc ./utils/DefaultStatMap.h ./utils/FakeStatMap.cc ./utils/FakeStatMap.h ./utils/CommandLineHelper.cc ./utils/CommandLineHelper.h ./utils/LogStatMap.cc ./utils/LogStatMap.h ./utils/StatMap.h ./utils/StatMapFactory.h ./utils/ExtensionUtils.cc ./utils/ExtensionUtils.h ./utils/Logger.h ./utils/Logger.cc ./utils/ConcurrentStrQueue.h ./utils/CompleteEncodingSatProblemReducer.h ./utils/CompleteEncodingSatProblemReducer.cc ./utils/StableEncodingSatProblemReducer.h ./utils/StableEncodingSatProblemReducer.cc ./utils/ConflictFreenessEncodingSatProblemReducer.h ./utils/ConflictFreenessEncodingSatProblemReducer.cc ./utils/SatProblemReducer.h ./utils/SatProblemReducer.cc
srcDirSources = ./Main.cc

## comssextractor object files
comssextractorObjs = $(top_builddir)/resources/comssextractor_ng/build/release/cmp/enum/ModelRotator.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/enum/coMSSEnum.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/enum/destructCoMSSExtract4Enum.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/enum/constructCoMSSExtract4Enum.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/utils/System.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/utils/Options.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/approx/eCoMSSApprox4PMS.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/approx/localSearch.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/approx/bCoMSSApprox4PMS.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/approx/eCoMSSApprox.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/approx/bCoMSSApprox.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/core/Main.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/core/coMSSExtract.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/core/constructCoMSSExtract.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/core/destructCoMSSExtract.o $(top_builddir)/resources/comssextractor_ng/build/release/cmp/ifaces/SatSolverFactory.o $(top_builddir)/resources/comssextractor_ng/build/release/glucose/utils/System.o $(top_builddir)/resources/comssextractor_ng/build/release/glucose/utils/Options.o $(top_builddir)/resources/comssextractor_ng/build/release/glucose/simp/SimpSolver.o $(top_builddir)/resources/comssextractor_ng/build/release/glucose/core/Solver.o $(top_builddir)/resources/comssextractor_ng/build/release/minisat/utils/System.o $(top_builddir)/resources/comssextractor_ng/build/release/minisat/utils/Options.o $(top_builddir)/resources/comssextractor_ng/build/release/minisat/simp/SimpSolver.o $(top_builddir)/resources/comssextractor_ng/build/release/minisat/core/SolverRL.o $(top_builddir)/resources/comssextractor_ng/build/release/minisat/core/Solver.o


noinst_LIBRARIES = $(top_builddir)/lib/libcoquiaas.a
__top_builddir__lib_libcoquiaas_a_SOURCES = $(specsDirSources) $(parserDirSources) $(argSolversDirSources) $(satSolversDirSources) $(utilsDirSources) $(outputFormattersDirSources)
__top_builddir__lib_libcoquiaas_a_LIBADD = $(comssextractorObjs)


bin_PROGRAMS = $(top_builddir)/bin/CoQuiAAS
__top_builddir__bin_CoQuiAAS_SOURCES = $(srcDirSources)
__top_builddir__bin_CoQuiAAS_LDADD = $(top_builddir)/lib/libcoquiaas.a
__top_builddir__bin_CoQuiAAS_LDFLAGS = -lpthread