Skip to content

can't use Dynlink,REPL bug ... #191

@jh-midi

Description

@jh-midi

I atempt to use 4.7.14 release
but nothing work as expected :

the REPL refuse to play with 4.7.14
val jo = [{u=true,v=1},{u=false,v=2}];
=> it go to infinite loop
with 4.7.13 too
(
With 4.7.12 previous version,
installing after replacing the Makefile into the mlkit-bin-dist-linux directory by the new Makfile of 4.7.14
REPL work well with 4.7.12
|Type :help; for help...
. val jo = [{u=true,v=1},{u=false,v=2}];

val jo = [{u=true,v=1},{u=false,v=2}] : {u: bool, v: int} list

)

I want to use it mainly for interfacing with C but
if I use the dynlink.mlb I go to error

mlkit test.mlb =>
Error: Failed to write dependencies to file 'MLB/RI_GC/DYNLIB.sig.d'.

test.mlb content :
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/dynlink.mlb (* this include provoke the error *)
test.sml

test.sml contains only :

val jo = "salut"
fun out s = (TextIO.output(TextIO.stdOut, s ^ "\n"); TextIO.flushOut TextIO.stdOut)
val _ = out jo

If I try the another way
smlpkg the sml-tigr and compile it with libtigr.so already compiled and in path then

./hello.exe: error while loading shared libraries: libtigr.so: cannot open shared object file: No such file or directory
=> after digging It work now
after adding "-Wl,-rpath=." to LDFLAGS in Makefile => LDFLAGS += -L. -Wl,-rpath=.

Good luke!

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions