Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-20 15:18:58 +01:00
Code Issues Projects Releases Packages Wiki Activity

Ensure the bootstrap-rust-docs and doc mach commands agree on the location of the Rust documentation.

Browse source
This commit is contained in:
Ms2ger 2015-11-27 09:47:38 +01:00
parent a515fe320b
commit 21f532758b
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
python/servo/bootstrap_commands.py
View file

@ -174,9 +174,8 @@ class MachCommands(CommandBase):
help='Force download even if docs already exist') help='Force download even if docs already exist')
def bootstrap_rustc_docs(self, force=False): def bootstrap_rustc_docs(self, force=False):
self.ensure_bootstrapped() self.ensure_bootstrapped()
hash_dir = path.join(self.context.sharedir, "rust", rust_root = self.config["tools"]["rust-root"]
self.rust_snapshot_path().split("/")[0]) docs_dir = path.join(rust_root, "doc")
docs_dir = path.join(hash_dir, "doc")
if not force and path.exists(docs_dir): if not force and path.exists(docs_dir):
print("Snapshot Rust docs already downloaded.", end=" ") print("Snapshot Rust docs already downloaded.", end=" ")
print("Use |bootstrap-rust-docs --force| to download again.") print("Use |bootstrap-rust-docs --force| to download again.")
@ -187,12 +186,12 @@ class MachCommands(CommandBase):
docs_name = self.rust_snapshot_path().replace("rustc-", "rust-docs-") docs_name = self.rust_snapshot_path().replace("rustc-", "rust-docs-")
snapshot_url = ("https://static-rust-lang-org.s3.amazonaws.com/dist/rust-docs-nightly-%s.tar.gz" snapshot_url = ("https://static-rust-lang-org.s3.amazonaws.com/dist/rust-docs-nightly-%s.tar.gz"
% host_triple()) % host_triple())
tgz_file = path.join(hash_dir, 'doc.tar.gz') tgz_file = path.join(rust_root, 'doc.tar.gz')
download_file("Rust docs", snapshot_url, tgz_file) download_file("Rust docs", snapshot_url, tgz_file)
print("Extracting Rust docs...") print("Extracting Rust docs...")
temp_dir = path.join(hash_dir, "temp_docs") temp_dir = path.join(rust_root, "temp_docs")
if path.isdir(temp_dir): if path.isdir(temp_dir):
shutil.rmtree(temp_dir) shutil.rmtree(temp_dir)
extract(tgz_file, temp_dir) extract(tgz_file, temp_dir)