cmake_minimum_required(VERSION 3.13)
project(queryUnfold)

set(CMAKE_CXX_STANDARD 14)

include_directories(PetriEngine)
include_directories(PetriEngine/Colored)
include_directories(PetriEngine/PQL)
include_directories(PetriEngine/Simplification)
include_directories(PetriEngine/Structures)
include_directories(PetriParse)
include_directories(PetriParse/rapidxml)

add_executable(queryUnfold
        PetriEngine/Colored/ColoredNetStructures.h
        PetriEngine/Colored/ColoredPetriNetBuilder.cpp
        PetriEngine/Colored/ColoredPetriNetBuilder.h
        PetriEngine/Colored/Colors.cpp
        PetriEngine/Colored/Colors.h
        PetriEngine/Colored/Expressions.h
        PetriEngine/Colored/Multiset.cpp
        PetriEngine/Colored/Multiset.h
        PetriEngine/Colored/TimeInterval.cpp
        PetriEngine/Colored/TimeInterval.h
        PetriEngine/Colored/TimeInvariant.cpp
        PetriEngine/Colored/TimeInvariant.h
        PetriEngine/PQL/Contexts.h
        PetriEngine/PQL/Expressions.cpp
        PetriEngine/PQL/Expressions.h
        PetriEngine/PQL/PQL.cpp
        PetriEngine/PQL/PQL.h
        PetriEngine/PQL/PQLParser.h
        PetriEngine/PQL/PQLQueryParser.parser.cpp
        PetriEngine/PQL/PQLQueryParser.parser.hpp
        PetriEngine/PQL/PQLQueryTokens.lexer.cpp
        PetriEngine/AbstractPetriNetBuilder.h
        PetriEngine/errorcodes.h
        PetriEngine/NetStructures.h
        PetriEngine/options.h
        PetriEngine/PetriNet.cpp
        PetriEngine/PetriNet.h
        PetriEngine/PetriNetBuilder.cpp
        PetriEngine/PetriNetBuilder.h
        PetriParse/rapidxml/rapidxml.hpp
        PetriParse/rapidxml/rapidxml_iterators.hpp
        PetriParse/rapidxml/rapidxml_print.hpp
        PetriParse/rapidxml/rapidxml_utils.hpp
        PetriParse/PNMLParser.cpp
        PetriParse/PNMLParser.h
        PetriParse/QueryBinaryParser.cpp
        PetriParse/QueryBinaryParser.h
        PetriParse/QueryParser.h
        PetriParse/QueryXMLParser.cpp
        PetriParse/QueryXMLParser.h
        VerifyPN.cpp)