On Thu, Nov 23, 2023 at 03:56:34PM -0500, Josh Rickmar wrote: > On Thu, Nov 23, 2023 at 07:01:07PM +0000, 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 used to provide a package that > contains the static lib, but that package can be skipped by the > builders? >
Here's an updated port. On top of the last tarball you sent: * use flintlib in PKGNAME to match its directory in tree * disabled the static build * Makefile.in is patched to use -Wl,-soname, with our correct FLINT_LIB_FULL * fixed the pkg-config .pc to include -lflint (and sent this patch upstream) This builds and passes 'make regress' on amd64 and i386. I'd appreciate others testing on other platforms as well. ok?
flintlib-3.0.1.tgz
Description: application/tar-gz
