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
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
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