Re: How to correctly reference WRKSRC of another port?

[Chris]

On 2021-05-25 16:27, Philipp Ost wrote:

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.

headers from there.

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

in place as possible.

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

Hmm. To me it just seems like a trade-off. IOW 6 of one && half a dozen on the other. Both seem to require as much work in the Makefile. But in my tiny little mind. My

suggestion seemed less complicated. :-)

throw it out there in case it helped. :-)

--Chris

I'm NOT trying to suggest that my proposal was the best solution. Just wanted to

HTH and good luck!

Thanks!

Philipp

0xB77893B2.asc
Description: application/pgp-keys