diff options
| author | Ellie Hermaszewska <ellieh@nvidia.com> | 2023-02-01 23:32:40 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-01 23:32:40 +0800 |
| commit | c5895fb0b82fd14fbe45b58d5fc7f75d67625d15 (patch) | |
| tree | aa4c92c772eb3e239251d658a2a9da4d88221bd4 /premake5.lua | |
| parent | e312d5c7dfde80941d96e522079a5d70f7d00649 (diff) | |
Use gmake2 as a premake target over gmake (#2587)
The gmake generator has been deprecated by gmake2 https://premake.github.io/docs/Using-Premake/#using-premake-to-generate-project-files
gmake2 has better dependency handling around our custom rules leading in fewer runs of slang-generate etc...
Diffstat (limited to 'premake5.lua')
| -rw-r--r-- | premake5.lua | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/premake5.lua b/premake5.lua index 5dd724130..3b0807a3d 100644 --- a/premake5.lua +++ b/premake5.lua @@ -38,7 +38,7 @@ -- -- To output linux will output to linux --- % premake5 --os=linux gmake --build-location="build.linux" +-- % premake5 --os=linux gmake2 --build-location="build.linux" -- -- % cd build.linux -- % make config=release_x64 @@ -46,7 +46,12 @@ -- % make config=debug_x64 -- -- From in the build directory you can use --- % premake5 --file=../premake5.lua --os=linux gmake +-- % premake5 --file=../premake5.lua --os=linux gmake2 + +-- Fail if we try to use the deprecated 'gmake' generator +if _ACTION == "gmake" then + premake.error "Please use the 'gmake2' generator instead of 'gmake'" +end -- -- Add the package path for slang-pack/slang-util |