Main Lemma Repository
Вы не можете выбрать более 25 тем Темы должны начинаться с буквы или цифры, могут содержать дефисы(-) и должны содержать не более 35 символов.

CTestConfig.cmake 528B

1234567891011121314
  1. ## This file should be placed in the root directory of your project.
  2. ## Then modify the CMakeLists.txt file in the root directory of your
  3. ## project to incorporate the testing dashboard.
  4. ## # The following are required to uses Dart and the Cdash dashboard
  5. ## ENABLE_TESTING()
  6. ## INCLUDE(CTest)
  7. set(CTEST_PROJECT_NAME "Lemma")
  8. set(CTEST_NIGHTLY_START_TIME "01:00:00 UTC")
  9. set(CTEST_DROP_METHOD "http")
  10. set(CTEST_DROP_SITE "my.cdash.org")
  11. set(CTEST_DROP_LOCATION "/submit.php?project=Lemma")
  12. set(CTEST_DROP_SITE_CDASH TRUE)