Merge pull request #879 from davidanthoff/julia-bug-workaround

pull/880/head
Tim Head 2020-04-18 00:19:26 +02:00 zatwierdzone przez GitHub
commit 0f9e8e1c06
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -136,7 +136,7 @@ class JuliaProjectTomlBuildPack(PythonBuildPack):
"${NB_USER}",
r"""
JULIA_PROJECT="" julia -e "using Pkg; Pkg.add(\"IJulia\"); using IJulia; installkernel(\"Julia\", \"--project=${REPO_DIR}\");" && \
julia --project=${REPO_DIR} -e 'using Pkg; Pkg.instantiate(); pkg"precompile"'
julia --project=${REPO_DIR} -e 'using Pkg; Pkg.instantiate(); Pkg.resolve(); pkg"precompile"'
""",
)
]