Re: [polyml] LInkage and the Foreign structure

2018-09-10 Thread Kostirya
Hello. What is the difference between (LoadLibrary "") and (loadExecutable ()) calls? 2018-09-10 17:53 GMT+03:00 Phil Clayton : > Slight correction: using an empty string for the library has the effect of > passing NULL to dlopen which means the handle passed to dlsym is the current > program. > >

Re: [polyml] LInkage and the Foreign structure

2018-09-10 Thread Mark Clements
Excellent - thank you. I now have a script called poly_gsl: #!/bin/bash LD_PRELOAD=/usr/lib/x86_64-linux-gnu/libgsl.so:/usr/lib/x86_64-linux-gnu/libgslcblas.so poly $* -- Mark On 09/10/2018 04:37 PM, Phil Clayton wrote: > Hi Mark, > > > (* symbol lookup error: /usr/lib/x86_64-linux-gnu/libgsl.

Re: [polyml] LInkage and the Foreign structure

2018-09-10 Thread Phil Clayton
Slight correction: using an empty string for the library has the effect of passing NULL to dlopen which means the handle passed to dlsym is the current program. On 10/09/18 15:29, Phil Clayton wrote: Hi Mark, > (* symbol lookup error: /usr/lib/x86_64-linux-gnu/libgsl.so: undefined > symbol:

Re: [polyml] LInkage and the Foreign structure

2018-09-10 Thread Phil Clayton
Hi Mark, > (* symbol lookup error: /usr/lib/x86_64-linux-gnu/libgsl.so: undefined > symbol: cblas_dgemm *) To avoid looking for the symbol "cblas_dgemm" in libgsl (which doesn't define it), you could let the dynamic linker look for it by using an empty string for the library which has the effe