-
Notifications
You must be signed in to change notification settings - Fork 32
Description
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!