Pkg.jl: Auto-precompilation after Pkg.dev fails when re-build is needed

Created on 10 Nov 2020  路  1Comment  路  Source: JuliaLang/Pkg.jl

Pkg.dev() doesn't re-build the package being dev-ed, so the auto-precomp step can fail if build was needed.

I see three options:
1) dev should build
2) dev shouldn't auto-precomp
3) leave as-is and developers can handle when errors occur

Most helpful comment

I think 2 is fine.

>All comments

I think 2 is fine.

Was this page helpful?
0 / 5 - 0 ratings

Related issues

staticfloat picture staticfloat  路  80Comments

Cody-G picture Cody-G  路  29Comments

fredrikekre picture fredrikekre  路  33Comments

justintong97 picture justintong97  路  27Comments

fredrikekre picture fredrikekre  路  46Comments