Check if the NDK version is 12

servo · Nov 3, 2017 · 3cdba60 · 3cdba60
1 parent 86b9e7d
commit 3cdba60
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py
@@ -261,7 +261,15 @@ def build(self, target=None, release=False, dev=False, jobs=None,
                 os.makedirs(openssl_dir)
             shutil.copy(path.join(self.android_support_dir(), "openssl.makefile"), openssl_dir)
             shutil.copy(path.join(self.android_support_dir(), "openssl.sh"), openssl_dir)
+
+            # Check if the NDK version is 12
             env["ANDROID_NDK_ROOT"] = env["ANDROID_NDK"]
+            with open(path.join(env["ANDROID_NDK"], 'source.properties')) as ndk_properties:
+                lines = ndk_properties.readlines()
+                if lines[1].split(' = ')[1].split('.')[0] != '12':
+                    print("Currently only support NDK 12.")
+                    sys.exit(1)
+
             env["RUST_TARGET"] = target
             with cd(openssl_dir):
                 status = call(