The stock gmp file name is libgmp.so.10 in Linux since past few years, previously it was libgmp.so.6, it is hard to speculate what will be the name of the next release. The system libgmp.so is a symlink but it is usually available only if the dev package of gmp has been installed. Anyways considering there are several reports on this issue. I will check for system libgmp.so.10 first and then under the ~bin folder.
On Fri, Jan 27, 2023 at 9:04 AM Igor Zhuravlov <[email protected]> wrote: > On Wed, Jan 25, 2023 at 11:43 PM Raul Miller <[email protected]> > wrote: > > For whatever reason, you didn't include the result of running the file > > command on the libgmp.so file which was supposed to have been > > distributed with J. > > I did: > > > user@host:~/j904/bin> for f in {.,/usr/lib64}/libgmp.so*; do file $f; > done > > > ./libgmp.so: ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), > dynamically linked, BuildID[sha1]=bb9f305cf7351a19f879af350eab1775bcb03091, > not stripped > > > /usr/lib64/libgmp.so.10: symbolic link to libgmp.so.10.3.2 > > > /usr/lib64/libgmp.so.10.3.2: ELF 64-bit LSB shared object, x86-64, > version 1 (SYSV), dynamically linked, > BuildID[sha1]=9e11b2a675e3fd8af6d9ae9328dc8f105f15292f, stripped > > Loop here applied file command to 3 files: > - libgmp.so distributed with J, > - system's link to system's libgmp.so.10.3.2 , > - system's libgmp.so.10.3.2 . > > > But I guess you got it working, so perhaps that's good enough. > > Yes, it's working, but installation process here required manual .so files > copying. The cause of problem seems to be that J uses libgmp.so from ~bin > directory (i.e. which is distributed with J) and ignores libgmp.so resolved > by standard dynamic linker (i.e. which is presented in system). > > -- > Regards, > Igor > > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
