diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-07-29 10:29:59 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-07-29 10:29:59 +0200 |
| commit | 2b922df93fcea9e3fad8e24b39c7fe579085d3ac (patch) | |
| tree | c2c8171427fb960b808f0446e30651bb0b9bfe08 /build | |
| parent | 1ece46928dcd77d47b4875ac7edadb0c6d30c959 (diff) | |
Refine utility library semantics with "see through" theme
Diffstat (limited to 'build')
| -rw-r--r-- | build/root.build | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build/root.build b/build/root.build index 0d887ec..e6ca7a8 100644 --- a/build/root.build +++ b/build/root.build @@ -11,6 +11,8 @@ ixx{*}: extension = ixx txx{*}: extension = txx cxx{*}: extension = cxx +cxx.poptions =+ "-I$out_root" "-I$src_root" + # Load the cli module but only if it's available. This way a distribution # that includes pre-generated files can be built without installing cli. # This is also the reason why we need to explicitly spell out individual |