diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2022-06-27 03:08:59 -0700 |
|---|---|---|
| committer | Justin M. Keyes <justinkz@gmail.com> | 2022-06-28 04:02:29 -0700 |
| commit | f05a2891d3da9f9fcd9c7457ca0c2a54ff65078b (patch) | |
| tree | de382ef0008871d7e7a41b29172b41bd97a39e05 /test/symbolic/klee | |
| parent | 9ddb481d88d3926111e83d512921ebe98bb426ae (diff) | |
| download | rneovim-f05a2891d3da9f9fcd9c7457ca0c2a54ff65078b.tar.gz rneovim-f05a2891d3da9f9fcd9c7457ca0c2a54ff65078b.tar.bz2 rneovim-f05a2891d3da9f9fcd9c7457ca0c2a54ff65078b.zip | |
build: rename build-related dirs
Problem:
Dirs "config", "packaging", and "third-party" are all closely related
but this is not obvious from the layout. This adds friction for new
contributors.
Solution:
- rename config/ to cmake.config/
- rename test/config/ to test/cmakeconfig/ because it is used in Lua
tests: require('test.cmakeconfig.paths').
- rename packaging/ to cmake.packaging/
- rename third-party/ to cmake.deps/ (parallel with .deps/)
Diffstat (limited to 'test/symbolic/klee')
| -rwxr-xr-x | test/symbolic/klee/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/symbolic/klee/run.sh b/test/symbolic/klee/run.sh index 0234a935b5..97ce42c31b 100755 --- a/test/symbolic/klee/run.sh +++ b/test/symbolic/klee/run.sh @@ -54,7 +54,7 @@ main() { includes="$includes -I$PROJECT_SOURCE_DIR/src" includes="$includes -I$PROJECT_BINARY_DIR/src/nvim/auto" includes="$includes -I$PROJECT_BINARY_DIR/include" - includes="$includes -I$PROJECT_BINARY_DIR/config" + includes="$includes -I$PROJECT_BINARY_DIR/cmake.config" includes="$includes -I/host-includes" local defines= |