diff options
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r-- | scripts/genie.lua | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua index 08cf0aa381d..92e3897217e 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -16,6 +16,14 @@ MAME_DIR = (path.getabsolute("..") .. "/") local MAME_BUILD_DIR = (MAME_DIR .. _OPTIONS["build-dir"] .. "/") local naclToolchain = "" +newoption { + trigger = "precompile", + description = "Precompiled headers generation.", + allowed = { + { "0", "Disabled" }, + { "1", "Enabled" }, + } +} function backtick(cmd) result = string.gsub(string.gsub(os.outputof(cmd), "\r?\n$", ""), " $", "") @@ -57,9 +65,11 @@ function layoutbuildtask(_folder, _name) end function precompiledheaders() - configuration { "not xcode4" } - pchheader("emu.h") - configuration { } + if _OPTIONS["precompile"]==nil or (_OPTIONS["precompile"]~=nil and _OPTIONS["precompile"]=="1") then + configuration { "not xcode4" } + pchheader("emu.h") + configuration { } + end end function addprojectflags() |