Julia: copy src files

This commit is contained in:
Eric Hanson 2025-07-21 18:12:52 +02:00
parent a1d7bed86f
commit 30382b9200
2 changed files with 46 additions and 0 deletions

View file

@ -99,6 +99,14 @@ def install_environment(
shutil.copy(manifest_file, envdir)
break
# copy `src` files if they exist
src_dir = prefix.path('src')
if os.path.isdir(src_dir):
shutil.copytree(
src_dir, os.path.join(envdir, 'src'),
dirs_exist_ok=True,
)
# Julia code to instantiate the hook environment
julia_code = """
@assert length(ARGS) > 0