Unable to install Ahorn on macOS catalina using install_ahorn.jl script
huangwei4478 opened this issue · comments
Hi,
I'm having trouble on installing Ahorn on my Macbook, macOS 10.15.5 and julia 1.4.2. Here is the error Log:
======================
Hey, thanks for giving Ahorn a try! Ahorn is currently still in a very early state. If you find bugs, please report them!
======================
This installer is going to install or update Maple and Ahorn via the package manager as well as create a file in the same directory as this installer file, are you okay with that? [y/N]
y
======================
The installer will now download and install required dependencies as well as the program itself. This will likely take a few minutes, so grab yourself a glass of juice while you wait.
We will tell you when the installation process is done, any warnings (not errors) in the console are fine and can be ignored.
======================
Environment path: /Users/huangwei/.config/Ahorn/env
Activating new environment at `~/.config/Ahorn/env/Project.toml`
┌ Warning: Pkg.installed() is deprecated
└ @ Pkg /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/Pkg.jl:531
Installing Maple...
Cloning git-repo `http://github.com/CelestialCartographers/Maple.git`
**ERROR: LoadError: git repository not found at `http://github.com/CelestialCartographers/Maple.git`
Stacktrace:**
[1] pkgerror(::String) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/Types.jl:53
[2] clone(::Pkg.Types.Context, ::String, ::String; header::Nothing, credentials::Nothing, kwargs::Base.Iterators.Pairs{Symbol,Bool,Tuple{Symbol},NamedTuple{(:isbare,),Tuple{Bool}}}) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/GitTools.jl:149
[3] #ensure_clone#3 at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/GitTools.jl:112 [inlined]
[4] handle_repo_add!(::Pkg.Types.Context, ::Pkg.Types.PackageSpec) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/Types.jl:570
[5] handle_repos_add!(::Pkg.Types.Context, ::Array{Pkg.Types.PackageSpec,1}) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/Types.jl:628
[6] add(::Pkg.Types.Context, ::Array{Pkg.Types.PackageSpec,1}; preserve::Pkg.Types.PreserveLevel, platform::Pkg.BinaryPlatforms.MacOS, kwargs::Base.Iterators.Pairs{Union{},Union{},Tuple{},NamedTuple{(),Tuple{}}}) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:139
[7] add(::Pkg.Types.Context, ::Array{Pkg.Types.PackageSpec,1}) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:112
[8] #add#27 at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:109 [inlined]
[9] add at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:109 [inlined]
[10] #add#23 at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:106 [inlined]
[11] add at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:106 [inlined]
[12] install_or_update(::String, ::String) at /Users/huangwei/Documents/LearningProjects/install_ahorn.jl:20
[13] top-level scope at /Users/huangwei/Documents/LearningProjects/install_ahorn.jl:56
[14] include(::Module, ::String) at ./Base.jl:377
[15] exec_options(::Base.JLOptions) at ./client.jl:288
[16] _start() at ./client.jl:484
in expression starting at /Users/huangwei/Documents/LearningProjects/install_ahorn.jl:56
caused by [exception 2]
GitError(Code:EINVALIDSPEC, Class:Net, invalid url, missing path)
Stacktrace:
[1] macro expansion at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/LibGit2/src/error.jl:101 [inlined]
[2] clone(::SubString{String}, ::String, ::LibGit2.CloneOptions) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/LibGit2/src/repository.jl:459
[3] clone(::SubString{String}, ::String; branch::String, isbare::Bool, remote_cb::Ptr{Nothing}, credentials::LibGit2.CachedCredentials, callbacks::Dict{Symbol,Tuple{Ptr{Nothing},Any}}) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/LibGit2/src/LibGit2.jl:580
[4] clone(::Pkg.Types.Context, ::String, ::String; header::Nothing, credentials::Nothing, kwargs::Base.Iterators.Pairs{Symbol,Bool,Tuple{Symbol},NamedTuple{(:isbare,),Tuple{Bool}}}) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/GitTools.jl:143
[5] #ensure_clone#3 at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/GitTools.jl:112 [inlined]
[6] handle_repo_add!(::Pkg.Types.Context, ::Pkg.Types.PackageSpec) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/Types.jl:570
[7] handle_repos_add!(::Pkg.Types.Context, ::Array{Pkg.Types.PackageSpec,1}) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/Types.jl:628
[8] add(::Pkg.Types.Context, ::Array{Pkg.Types.PackageSpec,1}; preserve::Pkg.Types.PreserveLevel, platform::Pkg.BinaryPlatforms.MacOS, kwargs::Base.Iterators.Pairs{Union{},Union{},Tuple{},NamedTuple{(),Tuple{}}}) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:139
[9] add(::Pkg.Types.Context, ::Array{Pkg.Types.PackageSpec,1}) at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:112
[10] #add#27 at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:109 [inlined]
[11] add at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:109 [inlined]
[12] #add#23 at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:106 [inlined]
[13] add at /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.4/Pkg/src/API.jl:106 [inlined]
[14] install_or_update(::String, ::String) at /Users/huangwei/Documents/LearningProjects/install_ahorn.jl:20
[15] top-level scope at /Users/huangwei/Documents/LearningProjects/install_ahorn.jl:56
[16] include(::Module, ::String) at ./Base.jl:377
[17] exec_options(::Base.JLOptions) at ./client.jl:288
[18] _start() at ./client.jl:484
caused by [exception 1]
KeyError: key "Maple" not found
Stacktrace:
[1] getindex at ./dict.jl:477 [inlined]
[2] install_or_update(::String, ::String) at /Users/huangwei/Documents/LearningProjects/install_ahorn.jl:14
[3] top-level scope at /Users/huangwei/Documents/LearningProjects/install_ahorn.jl:56
[4] include(::Module, ::String) at ./Base.jl:377
[5] exec_options(::Base.JLOptions) at ./client.jl:288
[6] _start() at ./client.jl:484
It looks like a git clone issue, it failed to clone both Maple and Ahorn repository on github, while I can do a git clone on these two repository alone. So I wonder what's the problem and how I can get around with this.
By the way I am currently in China the mainland, would that be an issue relates to the GFW network blocking? But I can directly git clone both Maple & Ahorn repository on terminal.
Change the General registry to a mirror site solved this issue (i.e. JULIA_PKG_SERVER).
Take a look at this:
https://discourse.juliacn.com/t/topic/2969