Skip to content

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

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!

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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