Re: help needed with figuring out an odd github source URL

[Ryan Schmidt]

On Dec 16, 2017, at 18:05, Perry E. Metzger 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.setupcoq 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. :( )

The github portgroup documents itself fairly well in comments; read them. 
Someone has also recently converted those comments into proper guide markup; 
it's in the pull requests but I don't think it's been merged yet.

The github portgroup does not support archive URLs. See 
https://trac.macports.org/ticket/40518. If you can think of a reason why it 
should, please let me know. Until then, allow the portgroup to use the tarball 
URL.

Yes, the portgroup handles livecheck for you.

Re: help needed with figuring out an odd github source URL

[Eitan Adler]

On 16 December 2017 at 17:03, Perry E. Metzger  wrote:
>
> 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.

# Then, replace the name and version lines with:
#
#   github.setupauthor project version [tag_prefix]


In particular this is happening:

default github.master_sites {${github.homepage}/tarball/[join
${github.tag_prefix} ""]${github.version}}
...
git.branch  [join ${github.tag_prefix}]${github.version}
distname${github.project}-${github.version}


> BTW, does the github portgroup handle "livecheck" automatically or
> does one still need to do that "by hand"?

_resources/port1.0/group/github-1.0.tcl seems to show that it will
work automatically


In general, when confused, it can help to read the tcl code directly.
It won't always be obvious but can be informative.

-- 
Eitan Adler

Re: help needed with figuring out an odd github source URL

[Perry E. Metzger]

On Sat, 16 Dec 2017 19:05:45 -0500 "Perry E. Metzger"
 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.setupcoq 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. Metzgerpe...@piermont.com

Re: help needed with figuring out an odd github source URL

[Perry E. Metzger]

On Sat, 16 Dec 2017 19:05:45 -0500 "Perry E. Metzger"
 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

Oddly, if I click on the link in a browser
(see https://github.com/coq/coq/releases )
although the link is definitely the above, some sort of magic tries to
name the file coq-8.7.1.tar.gz, which I _really_ don't understand.

> 
> What "github.setup" magic do I need for this?
> 
> If I do
> 
>github.setupcoq 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. :( )
> 
> Perry



-- 
Perry E. Metzgerpe...@piermont.com

help needed with figuring out an odd github source URL

[Perry E. Metzger]

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.setupcoq 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. :( )

Perry
-- 
Perry E. Metzgerpe...@piermont.com