Kent McLeod 639b7fbd37 CMake: Add get_absolute_list_source_or_binary ...

This function checks CMAKE_CURRENT_LIST_DIR and then calls
get_absolute_source_or_binary if the file wasn't found

2018-07-24 15:00:21 +10:00

..

python-deps

Update sel4-deps for tempite->jinja2

2018-06-13 16:01:27 +10:00

bf.vim

tools: fix licenses

2017-06-22 15:27:30 +10:00

bitfield_gen.py

Improve generated bitfield proofs

2017-12-21 18:01:55 +11:00

changed.sh

tools: fix licenses

2017-06-22 15:27:30 +10:00

circular_includes.py

tools: fix licenses

2017-06-22 15:27:30 +10:00

cpp_gen.sh

tools: fix licenses

2017-06-22 15:27:30 +10:00

flags.cmake

Add a CMake based build system

2017-08-22 13:56:26 +10:00

helpers.cmake

CMake: Add get_absolute_list_source_or_binary

2018-07-24 15:00:21 +10:00

internal.cmake

Add a CMake based build system

2017-08-22 13:56:26 +10:00

invocation_header_gen.py

tools: State jinja2 version

2018-06-21 14:38:55 +10:00

lex.py

Python3 compatibility in scripts

2017-06-05 14:07:20 +10:00

pylintrc

tools: fix licenses

2017-06-22 15:27:30 +10:00

syscall_header_gen.py

tools: State jinja2 version

2018-06-21 14:38:55 +10:00

umm.py

tools: fix licenses

2017-06-22 15:27:30 +10:00

xmllint.sh

tools: fix licenses

2017-06-22 15:27:30 +10:00