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
