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?
No comments:
Post a Comment