File: CMakeLists.txt

package info (click to toggle)
cbmc 6.6.0-4
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 153,852 kB
  • sloc: cpp: 386,459; ansic: 114,466; java: 28,405; python: 6,003; yacc: 4,552; makefile: 4,041; lex: 2,487; xml: 2,388; sh: 2,050; perl: 557; pascal: 184; javascript: 163; ada: 36
file content (16 lines) | stat: -rw-r--r-- 551 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
find_package(PythonInterp 3.5)
if(${PYTHONINTERP_FOUND})
  find_program(XMLLINT xmllint)
  if(NOT XMLLINT)
    message(WARNING "xmllint not found, skipping trace schema tests")
  else()
    add_test(NAME validate-trace-xml-schema
      COMMAND ${PYTHON_EXECUTABLE} check.py $<TARGET_FILE:cbmc> ${XMLLINT}
      WORKING_DIRECTORY ${CMAKE_CURRENT_LIST_DIR})
    set_tests_properties(validate-trace-xml-schema
      PROPERTIES
      LABELS "CBMC;CORE")
  endif()
else()
    message(WARNING "Python >= 3.5 not found, skipping trace schema tests")
endif()