help needed with figuring out an odd github source URL
Perry E. Metzger
perry at piermont.com
Sun Dec 17 01:03:13 UTC 2017
On Sat, 16 Dec 2017 19:05:45 -0500 "Perry E. Metzger"
<perry at piermont.com> wrote:
> Coq has moved to github for releases, and the form of the release
> url I need to produce is:
>
> https://github.com/coq/coq/archive/V8.7.1.tar.gz
>
> What "github.setup" magic do I need for this?
>
> If I do
>
> github.setup coq coq 8.7.1
>
> it tries to get
> https://github.com/coq/coq/tarball/8.7.1/coq-8.7.1.tar.gz which
> isn't what I need.
>
> (And I wish I understood the github portgroup stuff better. :( )
It seems that simply doing
github.setup coq coq 8.7.1 V
works. Though I wish I understood the magic going on with github's
URLs better.
BTW, does the github portgroup handle "livecheck" automatically or
does one still need to do that "by hand"?
Perry
--
Perry E. Metzger perry at piermont.com
More information about the macports-dev
mailing list