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:
> 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
BTW, does the github portgroup handle "livecheck" automatically or
does one still need to do that "by hand"?
Perry E. Metzger perry at piermont.com
More information about the macports-dev