Pkg.add("Church") - Githubissues

LaurenceA / Church.jl

Other

29 stars 5 forks source link

Pkg.add("Church") #1

Closed WestleyArgentum closed 10 years ago

LaurenceA commented 10 years ago

Good point. However, I don't have an official version yet, so you need to use Pkg.clone("Church")?

WestleyArgentum commented 10 years ago

Pkg.clone("https://github.com/LaurenceA/Church.jl.git")

LaurenceA commented 10 years ago

I've registered it, just not put up a tagged version. Pkg.clone("Church") seems to work for me? Does it work for you?

On Wed, Jan 8, 2014 at 6:11 PM, Westley Argentum Hennigh < notifications@github.com> wrote:

Pkg.clong("https://github.com/LaurenceA/Church.jl.git")

— Reply to this email directly or view it on GitHubhttps://github.com/LaurenceA/Church.jl/pull/1#issuecomment-31861375 .

WestleyArgentum commented 10 years ago

I could be doing something wrong, but after a Pkg.update() I get:

julia> Pkg.clone("Church")
ERROR: can't determine package name from URL: Church
 in clone at pkg/entry.jl:147
 in anonymous at pkg/dir.jl:25
 in cd at file.jl:22
 in cd at pkg/dir.jl:25
 in clone at pkg.jl:29

Which is why I posted with the whole path... but it seems like, since it's registered, Pkg.clone("Church") should work

WestleyArgentum commented 10 years ago

Ah, no, my metadata origin was screwed up, your version works