summaryrefslogtreecommitdiffstatshomepage
path: root/scripts/src/emu.lua
diff options
context:
space:
mode:
author Miodrag Milanović <mmicko@gmail.com>2024-01-01 02:41:59 +0100
committer GitHub <noreply@github.com>2023-12-31 20:41:59 -0500
commitd5340b8be45db2815a6ce152813d991efa93d54f (patch)
tree2ceceea369a7045ba8a719c7a8d8fa5695728e05 /scripts/src/emu.lua
parent7a1c86c4d19d2923d6ce60de07a5203c3437c303 (diff)
Make building emulator optional (allow building tools without building MAME) (#11889)
Diffstat (limited to 'scripts/src/emu.lua')
-rw-r--r--scripts/src/emu.lua3
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/src/emu.lua b/scripts/src/emu.lua
index bed80ebccb6..df53570a61e 100644
--- a/scripts/src/emu.lua
+++ b/scripts/src/emu.lua
@@ -9,6 +9,8 @@
--
---------------------------------------------------------------------------
+if _OPTIONS["with-emulator"] then
+
project ("emu")
uuid ("e6fa15e4-a354-4526-acef-13c8e80fcacf")
kind (LIBTYPE)
@@ -308,6 +310,7 @@ custombuildtask {
layoutbuildtask("emu/layout", "triphsxs"),
layoutbuildtask("emu/layout", "quadhsxs"),
}
+end
project ("precompile")
uuid ("a6fb15d4-b123-4445-acef-13c8e80fcacf")