On Thu, Nov 09, 2023 at 07:41:10AM +0800, Qian Yun wrote:
>
>
> On 11/8/23 23:14, Waldek Hebisch wrote:
> > On Wed, Nov 08, 2023 at 10:40:36PM +0800, oldk1331 wrote:
> > > '--with-gmp-lib=' configure option works on build machine, and this patch
> > > doesn't break it.
> > >
> > > When binary is installed on user machine, you can't assume gmp is
> > > available
> > > in that path.
> > >
> > > So the only way is to bundle gmp as fallback.
> >
> > Main use of '--with-gmp-lib=' is by package systems like Net BSD
> > portage (IIUC available on Mac OSX), Mac Ports and Homebrew.
> > Package system ensures that GMP is in place specified at
> > configure time.
> >
> > If you want to distribute binary outside of package system, then
> > of course you need to bundle GMP. Since you bundle it you know
> > where it will live and can give that location to '--with-gmp-lib='.
>
> We bundle GMP to $FRICAS/lib. That is not a fixed path, we can not
> give it to '--with-gmp-lib=' at configure phase.
>
> > You say that you do not break '--with-gmp-lib='. Maybe, but when
> > DARWIN is in features (which IIUC is true on Mac OSX) you use
> > different location. And '--with-gmp-lib=' works by replacing
> > 'libgmp.so' by different name. So it is not clear to me how
> > it can work (on Mac OSX) after your change.
> >
>
> You see, from the patch:
> (setq system-gmp-name #+:WIN32 "libgmp-10.dll"
> #-:WIN32 "libgmp.so")
> Here 'libgmp.so' will be replaced and it's valid on macOS.
OK, please go on with the patch.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZU%2BA9jYCzAuehopR%40fricas.org.
