On Wednesday, May 31, 2023 at 6:10:42 PM UTC-4 Isuru Fernando wrote:

Which givaro library is loaded when you do `export LD_DEBUG=libs` and run 
sage from the command line?


I get:

   1028008:     find library=libgivaro.so.9 [0]; searching
   1028008:      search path=/home/finotti/src/sage-10.0/local/lib         
     (RUNPATH from file 
/home/finotti/src/sage-10.0/local/var/lib/sage/venv-python3.11/lib/python3.11/site-packages/cysignals/signals.cpython-311-x86_64-linux-gnu.so)
   1028008:       trying 
file=/home/finotti/src/sage-10.0/local/lib/libgivaro.so.9
   1028008:
   1028008:     find library=libgmpxx.so.4 [0]; searching
   1028008:      search path=/home/finotti/src/sage-10.0/local/lib         
     (RUNPATH from file 
/home/finotti/src/sage-10.0/local/var/lib/sage/venv-python3.11/lib/python3.11/site-packages/cysignals/signals.cpython-311-x86_64-linux-gnu.so)
   1028008:       trying 
file=/home/finotti/src/sage-10.0/local/lib/libgmpxx.so.4
   1028008:      search cache=/etc/ld.so.cache
   1028008:       trying file=/lib/x86_64-linux-gnu/libgmpxx.so.4
   1028008:
   1028008:
   1028008:     calling init: /lib/x86_64-linux-gnu/libgmpxx.so.4
   1028008:
   1028008:
   1028008:     calling init: 
/home/finotti/src/sage-10.0/local/lib/libgivaro.so.9
   1028008:
   1028008:
   1028008:     calling init: 
/home/finotti/src/sage-10.0/src/sage/rings/finite_rings/element_givaro.cpython-311-x86_64-linux-gnu.so
[snip]
   1028008:     calling fini: 
/home/finotti/src/sage-10.0/src/sage/rings/finite_rings/element_givaro.cpython-311-x86_64-linux-gnu.so
 
[0
   1028008:
   1028008:
   1028008:     calling fini: 
/home/finotti/src/sage-10.0/local/lib/libgivaro.so.9 [0]

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/fced99e3-52f7-43c4-b0c6-1c45f72a01ebn%40googlegroups.com.

Reply via email to