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

picture IanButterworth

Most helpful comment

I think 2 is fine.

picture fredrikekre on 10 Nov 2020
👍3

>All comments

I think 2 is fine.

fredrikekre picture fredrikekre on 10 Nov 2020
👍3
Was this page helpful?
0 / 5 - 0 ratings

Related issues

dpsanders picture dpsanders  路  3Comments
MaWo2 picture MaWo2  路  4Comments
GordStephen picture GordStephen  路  3Comments
cossio picture cossio  路  3Comments
KristofferC picture KristofferC  路  4Comments