I have created #29305: Move ARB_LIBRARY back from sage-build-env-config to sage-env-config.
On Monday, March 9, 2020 at 12:58:12 PM UTC-4, Dima Pasechnik wrote: > > This appears to be a result of https://trac.sagemath.org/ticket/29052 > Indeed, the rationale, wrong or not, is that the env. var. > SAGE_ARB_LIBRARY > is only needed for building, not for running, Sage, and setting of > this variable has been therefore moved into > build/bin/sage-build-env-config(.in). > > If you source build/bin/sage-build-env-config, i.e. > > $ . build/bin/sage-build-env-config > > then on Debian > > $ ./sage -c "print(sage.env.cython_aliases()['ARB_LIBRARY'])" > flint-arb > > as it should be. > > Not sure whether anything should be fixed here. > > Best > Dima > > > On Mon, Mar 9, 2020 at 4:26 PM Michael Orlitzky <mic...@orlitzky.com > <javascript:>> wrote: > > > > On 3/9/20 10:00 AM, Marc Mezzarobba wrote: > > > Is it expected that ARB_LIBRARY is set to 'arb' (as opposed to > > > 'flint-arb') on a Debian box where Sage links against the system > > > arb? > > > > The "success" branch of the AC_CHECK_LIB([flint-arb],... call in arb's > > spkg-configure.m4 looks off to me, because AC_CHECK_LIB (unlike > > AC_SEARCH_LIBS) doesn't prepend -l<library> to LIBS if you provide a > > non-empty success branch. > > > > But, that doesn't explain why you're getting ARB_LIBRARY=arb. I would > > expect that to be ARB_LIBRARY=flint-arb in any case. You might be able > > to get more info by running ./configure again and looking for the arb > > stuff in config.log. > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sage-...@googlegroups.com <javascript:>. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/47efdae1-9a51-2880-5bfe-e247d933cf25%40orlitzky.com. > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/152674d0-9e47-441a-aba4-12936306e4d8%40googlegroups.com.