Re: NEW: devel/flint 3.0.1

2023-11-25 Thread Stuart Henderson
Suitesparse looks rather complicated. Simple is much better for ports. -- Sent from a phone, apologies for poor formatting. On 25 November 2023 15:12:35 j...@bitminer.ca wrote: On Thu, Nov 23, 2023 at 07:01:07PM +, Stuart Henderson wrote: Or maybe disable the static library build?

Re: NEW: devel/flint 3.0.1

2023-11-25 Thread j
On Thu, Nov 23, 2023 at 07:01:07PM +, Stuart Henderson wrote: Or maybe disable the static library build? There is also the trick used by math/suitesparse in post-build: - using the static library - extract the object modules and compose a dynamic lib J

Re: NEW: devel/flint 3.0.1

2023-11-23 Thread Josh Rickmar
On Thu, Nov 23, 2023 at 07:01:07PM +, Stuart Henderson wrote: > Or maybe disable the static library build? > Yeah, we could go with that for now. The .a is useful for me but I don't think it needs to be built for everyone if compile times are a burden. Perhaps a (pseudo?)flavor could be

Re: NEW: devel/flint 3.0.1

2023-11-23 Thread Stuart Henderson
Or maybe disable the static library build? -- Sent from a phone, apologies for poor formatting. On 23 November 2023 18:25:08 Josh Rickmar wrote: On Thu, Nov 23, 2023 at 05:43:07PM +, Stuart Henderson wrote: when creating a tar, please "cd .." first and include the subdir in your tar

Re: NEW: devel/flint 3.0.1

2023-11-23 Thread Josh Rickmar
On Thu, Nov 23, 2023 at 05:43:07PM +, Stuart Henderson wrote: > when creating a tar, please "cd .." first and include the subdir in your > tar rather than dumping Makefile/distinfo etc in the current directory > > On 2023/11/23 11:59, Josh Rickmar wrote: > > Attached is a new port for FLINT.

Re: NEW: devel/flint 3.0.1

2023-11-23 Thread Stuart Henderson
when creating a tar, please "cd .." first and include the subdir in your tar rather than dumping Makefile/distinfo etc in the current directory On 2023/11/23 11:59, Josh Rickmar wrote: > Attached is a new port for FLINT. > > https://flintlib.org/ > > I was unsure if the .so handling in

NEW: devel/flint 3.0.1

2023-11-23 Thread Josh Rickmar
Attached is a new port for FLINT. https://flintlib.org/ I was unsure if the .so handling in post-install is the preferred way to fix this up. I also have another version that patches configure.ac that seems to work just as well (by patching the constants to match the port's SHARED_LIBS,