Pierre-Marie de Rodat b60d27c7cf Put the C header inside the generated project ...

This allows GCC, when used to build C mains, to access the C header
through command line arguments instead of through the `C_INCLUDE_PATH`
environment variable, which lets GCC emit warnings for issues found in C
headers. This will be useful to detect issues in generated code.

2023-05-22 09:17:45 +00:00

..

expect.py

Add a testcase to check GDB helpers

2022-03-22 13:08:43 +00:00

gdb_session.py

GDB helpers: fix indentation of multi-line values in the "state" command

2022-06-20 15:12:29 +00:00

lexer_example.lkt

Introduce a language spec-wide option to enable case insensitivity

2021-01-25 12:52:15 +01:00

lkt_compile.py

Testsuite: create a new "lkt_compile" test driver

2022-06-08 12:24:31 +00:00

path_wrapper.py

python_api/app: fix propagation of path_wrapper to subprocesses

2022-12-05 16:13:40 +00:00

quotemeta.py

Add a testcase to check GDB helpers

2022-03-22 13:08:43 +00:00

utils.py

Put the C header inside the generated project

2023-05-22 09:17:45 +00:00