Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-02 21:13:39 +01:00
Code Issues Projects Releases Packages Wiki Activity

Disable WGL for Windows arm64.

Browse source
This commit is contained in:
Josh Matthews 2019-05-30 15:56:54 -04:00
parent b19cd5eb3a
commit 385b46cff7
7 changed files with 17 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
python/servo/build_commands.py
View file

@ -197,10 +197,12 @@ class MachCommands(CommandBase):
default=None,
action='store_true',
help='Build with frame pointer enabled, used by the background hang monitor.')
@CommandArgument('--with-raqote', default=None, action='store_true')
@CommandArgument('--without-wgl', default=None, action='store_true')
def build(self, target=None, release=False, dev=False, jobs=None,
features=None, android=None, magicleap=None, no_package=False, verbose=False, very_verbose=False,
debug_mozjs=False, params=None, with_debug_assertions=False,
libsimpleservo=False, with_frame_pointer=False):
libsimpleservo=False, with_frame_pointer=False, with_raqote=False, without_wgl=False):
opts = params or []
@ -291,6 +293,12 @@ class MachCommands(CommandBase):
env['RUSTFLAGS'] = env.get('RUSTFLAGS', "") + " -C force-frame-pointers=yes"
features += ["profilemozjs"]
if with_raqote:
features += ["raqote_backend"]
if without_wgl:
features += ["no_wgl"]
if self.config["build"]["webgl-backtrace"]:
features += ["webgl-backtrace"]
if self.config["build"]["dom-backtrace"]: