diff options
Diffstat (limited to 'premake5.lua')
| -rw-r--r-- | premake5.lua | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/premake5.lua b/premake5.lua index f83499ce2..c8c02ff09 100644 --- a/premake5.lua +++ b/premake5.lua @@ -756,6 +756,13 @@ end links { "compiler-core", "core" } + + tool "test-proxy" + uuid "BE412850-4BB9-429A-877C-BFBC4B34186C" + includedirs { "." } + + links { "compiler-core", "core", "slang" } + -- -- `slang-generate` is a tool we use for source code generation on -- the compiler. It depends on the `core` library, so we need to |