diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-04-04 03:26:46 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-04-04 03:26:46 +0300 |
| commit | 0f474b66fe1d6cfdb286deb1ef19e2b37e60d4ee (patch) | |
| tree | ef2fc5c0d6ba0d3d71887a4051cae97f6e8229ea /project/ci | |
| parent | project.boost.download: --unpack = --cache if specified (diff) | |
| download | cmake-common-0f474b66fe1d6cfdb286deb1ef19e2b37e60d4ee.tar.gz cmake-common-0f474b66fe1d6cfdb286deb1ef19e2b37e60d4ee.zip | |
project.boost.download: add dest_dir parameter
Diffstat (limited to '')
| -rw-r--r-- | project/ci/boost.py | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/project/ci/boost.py b/project/ci/boost.py index 75e73f3..c17c9db 100644 --- a/project/ci/boost.py +++ b/project/ci/boost.py @@ -5,8 +5,6 @@ import argparse import logging -import os -import os.path import sys from project.boost.download import DownloadParameters, download @@ -43,11 +41,9 @@ def build_ci(dirs, argv=None): version = dirs.get_boost_version() build_dir = dirs.get_build_dir() - download(DownloadParameters(version, unpack_dir=build_dir)) - - unpacked_boost_dir = version.dir_path(build_dir) boost_dir = dirs.get_boost_dir() - os.rename(unpacked_boost_dir, boost_dir) + params = DownloadParameters(version, unpack_dir=build_dir, dest_path=boost_dir) + download(params) params = BuildParameters(boost_dir, platforms=(dirs.get_platform(),), |