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