def download_toolchain(ctx):
url = get_toolchain_url()
tar_name = get_toolchain_tar_name()
tar_path = get_toolchain_tar_path()
if exists(TOOLCHAIN_INSTALL):
print("Deleting existing toolchain at {}".format(TOOLCHAIN_INSTALL))
check_output("rm -rf {}".format(TOOLCHAIN_INSTALL), shell=True)
if not exists(FAASM_LOCAL_DIR):
makedirs(FAASM_LOCAL_DIR)
print("Downloading toolchain archive")
download_tar_from_url(url, tar_name, FAASM_LOCAL_DIR)
print("Removing downloaded archive")
remove(tar_path)
def download_sysroot(ctx):
url = get_sysroot_url()
tar_name = get_sysroot_tar_name()
tar_path = get_sysroot_tar_path()
if not exists(FAASM_LOCAL_DIR):
makedirs(FAASM_LOCAL_DIR)
if exists(FAASM_SYSROOT):
print("Deleting existing sysroot at {}".format(FAASM_SYSROOT))
check_output("rm -rf {}".format(FAASM_SYSROOT), shell=True)
print("Downloading sysroot archive")
download_tar_from_url(url, tar_name, FAASM_LOCAL_DIR)
print("Removing downloaded archive")
remove(tar_path)
def download_runtime_root(ctx, nocodegen=False):
url = get_runtime_url()
tar_name = get_runtime_tar_name()
tar_path = get_runtime_tar_path()
# Clear out existing
if exists(FAASM_RUNTIME_ROOT):
print("Removing existing")
rmtree(FAASM_RUNTIME_ROOT)
# Download the bundle
print("Downloading from S3")
download_tar_from_url(url, tar_name, FAASM_LOCAL_DIR)
# Remove downloaded tar
remove(tar_path)
# Run codegen
if not nocodegen:
print("Running codegen")
run_python_codegen(ctx)
