Re: proper Portfile lines for a weird release on github?

2017-11-16 Thread Joshua Root
On 2017-11-17 15:07 , Zero King wrote: > On Thu, Nov 16, 2017 at 10:17:09PM -0500, Perry E. Metzger wrote: >> camlp5 version 7.03 is located in >> >> https://github.com/camlp5/camlp5/archive/rel703.tar.gz >> >> What do I do in an updated Portfile to point at that? > > You can use the github

Re: proper Portfile lines for a weird release on github?

2017-11-16 Thread Zero King
On Thu, Nov 16, 2017 at 10:17:09PM -0500, Perry E. Metzger wrote: camlp5 version 7.03 is located in https://github.com/camlp5/camlp5/archive/rel703.tar.gz What do I do in an updated Portfile to point at that? You can use the github PortGroup[1] with strsed[2], e.g. ``` PortGroup

proper Portfile lines for a weird release on github?

2017-11-16 Thread Perry E. Metzger
camlp5 version 7.03 is located in https://github.com/camlp5/camlp5/archive/rel703.tar.gz What do I do in an updated Portfile to point at that? Perry -- Perry E. Metzgerpe...@piermont.com