The source code and dockerfile for the GSW2024 AI Lab.
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
|
|
ExternalProject_Add( carl-parser
GIT_REPOSITORY https://github.com/ths-rwth/carl-parser.git
GIT_TAG master14
CMAKE_ARGS -Dcarl_DIR=${CMAKE_BINARY_DIR}
INSTALL_COMMAND ""
)
ExternalProject_Get_Property(carl-parser BINARY_DIR)
add_dependencies(addons carl-parser)
add_dependencies(carl-parser lib_carl)
add_test(NAME carl-parser COMMAND ${BINARY_DIR}/test/carl-parser-test)
|
