Writing portfiles: How to download a master.zip and not a master.zip.tar.gz

[Ryan Schmidt]

On Sep 6, 2015, at 16:33, Lars Sonchocky-Helldorf wrote:
> 
> I have the following entries in a local portfile:
> -----
> homepage            http://torch.ch/
> master_sites        https://github.com/torch/torch7/archive/
> distname            master.zip
> -----
> 
> when running sudo port -v install torch I get attempts to fetch the source zip like this:
> 
> --->  Attempting to fetch master.zip.tar.gz from https://github.com/torch/torch7/archive/
> 
> which off course doesn't exist.
> 
> 
> So how would I specify not to append .tar.gz?

use_zip yes

However that is not the correct solution in this case. Since this software is hosted on the github service, it should use the github 1.0 portgroup. Read the comments in the portgroup for instructions on how to use it.