diff options
| author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-10-02 16:13:46 +0200 |
|---|---|---|
| committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-11-05 11:39:20 +0100 |
| commit | fb28cc7fb51570655db8e1d8684a1029fc4771fa (patch) | |
| tree | a9d32a03158add6a2f58aa9d02c37ba49d69bd79 /python/servo/build_commands.py | |
| parent | 176d984b3badba7265f3e7442159adcb54d8b90e (diff) | |
| download | servo-fb28cc7fb51570655db8e1d8684a1029fc4771fa.tar.gz servo-fb28cc7fb51570655db8e1d8684a1029fc4771fa.zip | |
Update GStreamer binaries for Android. Include required codecs
Diffstat (limited to 'python/servo/build_commands.py')
| -rw-r--r-- | python/servo/build_commands.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index e85cdb09ed3..b6aa53bf15e 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -426,16 +426,18 @@ class MachCommands(CommandBase): # Build the name of the package containing all GStreamer dependencies # according to the build target. gst_lib = "gst-build-{}".format(self.config["android"]["lib"]) - gst_lib_zip = "%s.zip" % gst_lib + gst_lib_zip = "gstreamer-{}-1.14.3-20181105-103937.zip".format(self.config["android"]["lib"]) gst_dir = os.path.join(base_path, "gstreamer") gst_lib_path = os.path.join(base_path, gst_dir, gst_lib) pkg_config_path = os.path.join(gst_lib_path, "pkgconfig") env["PKG_CONFIG_PATH"] = pkg_config_path if not os.path.exists(gst_lib_path): # Download GStreamer dependencies if they have not already been downloaded + # This bundle is generated with `libgstreamer_android_gen` + # Follow these instructions to build and deploy new binaries + # https://github.com/servo/libgstreamer_android_gen#build print("Downloading GStreamer dependencies") - gst_url = "https://github.com/servo/libgstreamer_android_gen/blob/" \ - "ebb0f0097fec985e0cef988c54a28c2ba06761aa/out/%s?raw=true" % gst_lib_zip + gst_url = "http://servo-deps.s3.amazonaws.com/gstreamer/%s" % gst_lib_zip print(gst_url) urllib.urlretrieve(gst_url, gst_lib_zip) zip_ref = zipfile.ZipFile(gst_lib_zip, "r") |