Re: How to correctly reference WRKSRC of another port?

On 5/25/21 6:59 PM, Chris wrote:
> On 2021-05-25 04:27, Ronald Klop wrote:
[snip]
>> I have no opinion on this, but just trying to think along.
>> Isn't it easier to add the math/nauty sources to the DISTFILES of your 
>> port?
> There must be a 101 ways to do this. But not having looked at the source 
> for your
> port, I'm inclined with Ronald.
> It wouldn't be unlike getting/using 2 sources from GitHub and combining 
> them for
> the build. Simply use knob set aside for extra sources. IOW fetch the 
> "extra" source
> and unpack it in the ${WRKSRC} tree along with your source && include 
> the needed
> headers from there.

Yes, that would work, too. On the other hand, wouldn't that cause 
maintenance trouble down the line? I was trying to make use of as much 
infrastructure already in place as possible.


> HTH and good luck!

Thanks!

Philipp