Open mohamed-barakat opened 3 weeks ago
When Pkg.develop downloads the package
$ julia -e 'using Pkg; Pkg.develop("CapAndHomalg");';
Pkg.build is successfully invoked, while when dev'ing the cloned repository Pkg.build is not triggered
$ git clone https://github.com/homalg-project/CapAndHomalg.jl .julia/dev/CapAndHomalg $ julia -e 'using Pkg; Pkg.develop("CapAndHomalg");';
Maybe the reason is here: https://github.com/JuliaLang/Pkg.jl/issues/862.
See also
When Pkg.develop downloads the package
Pkg.build is successfully invoked, while when dev'ing the cloned repository Pkg.build is not triggered