diff options
author | 2024-01-01 02:41:59 +0100 | |
---|---|---|
committer | 2023-12-31 20:41:59 -0500 | |
commit | d5340b8be45db2815a6ce152813d991efa93d54f (patch) | |
tree | 2ceceea369a7045ba8a719c7a8d8fa5695728e05 /scripts/src/emu.lua | |
parent | 7a1c86c4d19d2923d6ce60de07a5203c3437c303 (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.lua | 3 |
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") |