mirror of
https://github.com/servo/servo.git
synced 2025-06-29 03:23:41 +01:00
b8eb19e566
Make the script that checks for undefined Android symbols compatible with both Python 2 and Python 3, to allow for future updates to the default system Python on our build machines. I'd like to land this before https://github.com/servo/saltfs/pull/249. We currently use Ubuntu 14.04 (an LTS release); Ubuntu is aiming for Python 3 as the default Python in the next LTS release, 16.04, and I'd like to have any scripts be ready for the transition.
34 lines
1.1 KiB
Python
34 lines
1.1 KiB
Python
# Copyright 2013 The Servo Project Developers. See the COPYRIGHT
|
|
# file at the top-level directory of this distribution.
|
|
#
|
|
# Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
# http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
# <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
# option. This file may not be copied, modified, or distributed
|
|
# except according to those terms.
|
|
|
|
import sys
|
|
import re
|
|
import subprocess
|
|
|
|
symbol_regex = re.compile(b"D \*UND\*\t(.*) (.*)$")
|
|
allowed_symbols = frozenset([b'unshare', b'malloc_usable_size'])
|
|
actual_symbols = set()
|
|
|
|
objdump_output = subprocess.check_output([
|
|
'arm-linux-androideabi-objdump',
|
|
'-T',
|
|
'target/arm-linux-androideabi/debug/libservo.so']
|
|
).split(b'\n')
|
|
|
|
for line in objdump_output:
|
|
m = symbol_regex.search(line)
|
|
if m is not None:
|
|
actual_symbols.add(m.group(2))
|
|
|
|
difference = actual_symbols - allowed_symbols
|
|
|
|
if len(difference) > 0:
|
|
human_readable_difference = ", ".join(str(s) for s in difference)
|
|
print("Unexpected dynamic symbols in binary: {0}".format(human_readable_difference))
|
|
sys.exit(-1)
|