cmake_minimum_required(VERSION 3.12)
project(TACPNModel)

set(CMAKE_CXX_STANDARD 14)

include_directories(PetriEngine)
include_directories(PetriEngine/Colored)
include_directories(PetriParse)
include_directories(PetriParse/rapidxml)

add_executable(TACPNModel
    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/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
    VerifyPN.cpp)