Lemma/CTestConfig.cmake

## This file should be placed in the root directory of your project.
## Then modify the CMakeLists.txt file in the root directory of your
## project to incorporate the testing dashboard.
## # The following are required to uses Dart and the Cdash dashboard
ENABLE_TESTING()
#INCLUDE(CTest)

set(CTEST_PROJECT_NAME "Lemma")
set(CTEST_NIGHTLY_START_TIME "01:00:00 UTC")

set(CTEST_DROP_METHOD "http")
set(CTEST_DROP_SITE "my.cdash.org")
set(CTEST_DROP_LOCATION "/submit.php?project=Lemma")
set(CTEST_DROP_SITE_CDASH TRUE)
# CTest 3.14 requires this
set(CTEST_SUBMIT_URL "my.cdash.org/submit.php?project=Lemma")