1# 2# Copyright 2017, Data61 3# Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4# ABN 41 687 119 230. 5# 6# This software may be distributed and modified according to the terms of 7# the BSD 2-Clause license. Note that NO WARRANTY is provided. 8# See "LICENSE_BSD2.txt" for details. 9# 10# @TAG(DATA61_BSD) 11# 12 13cmake_minimum_required(VERSION 3.7.2) 14 15project(libsel4test C) 16 17set(configure_string "") 18 19config_string( 20 LibSel4TestPrinterRegex 21 TESTPRINTER_REGEX 22 "A POSIX regex pattern that is used to filter the tests to run" 23 DEFAULT 24 ".*" 25) 26 27config_option( 28 LibSel4TestPrinterHaltOnTestFailure 29 TESTPRINTER_HALT_ON_TEST_FAILURE 30 "Halt on the first test failure \ 31 Default behaviour is to try and run the test suite, regardless of any failures. \ 32 Turning this on will stop the test suite on the first error" 33 DEFAULT 34 OFF 35) 36config_option(LibSel4TestPrintXML PRINT_XML "Print XML output. This will \ 37 buffer the test output and print in <stdout> blocks so that bamboo \ 38 can parse the test logs properly. Turn this off for debugging your test suite" DEFAULT OFF) 39mark_as_advanced(LibSel4TestPrinterRegex LibSel4TestPrinterHaltOnTestFailure LibSel4TestPrintXML) 40add_config_library(sel4test "${configure_string}") 41 42file(GLOB deps src/*.c) 43 44list(SORT deps) 45 46add_library(sel4test STATIC EXCLUDE_FROM_ALL ${deps}) 47target_include_directories(sel4test PUBLIC include) 48target_link_libraries( 49 sel4test 50 muslc 51 sel4 52 utils 53 sel4vka 54 sel4vspace 55 sel4platsupport 56 sel4rpc 57 sel4sync 58 sel4simple 59 sel4utils 60 sel4_autoconf 61 sel4test_Config 62) 63