Package: smlnj
Version: 110.52-1
Severity: normal
Warning: I don't know if this is really a bug, as I am not a real SML/NJ
user. However, I installed smlnj and tried to use it with Isabelle.
Isabelle has a script "build" which runs smlnj. Unfontunately, I got
the errors:
Standard ML of New Jersey v110.52 [built: Fri Jan 21 16:42:10 2005]
!* unable to process `' (unknown extension `<none>')
- [autoloading]
unexpected exception (bug?) in SML/NJ: Io [Io: openIn failed on
"/root/SML/smlnj-110.52/sml.boot.x86-unix/basis.cm/.cm/x86-unix/basis.cm", No
such file or directory]
raised at: Basis/Implementation/IO/bin-io-fn.sml:618.25-618.71
../cm/util/safeio.sml:30.11
../compiler/TopLevel/interact/evalloop.sml:44.55
Since I can see with grep that /root/SML is in many smlnj files,
including binaries, I have a suspicion that this is the problem. I
installed smlnj by myself in /usr/local, and now Isabelle's build
command works.
It seems that Isabelle is piping
fun exit 0 = (OS.Process.exit OS.Process.success): unit | exit _ =
OS.Process.exit OS.Process.failure; fun commit () = not
(SMLofNJ.exportML"/usr/local/Isabelle/heaps/smlnj-110_x86-linux/Pure"); val
ml_system = "smlnj-110"; (use"ML-Systems/smlnj.ML"; use"ROOT.ML") handle _ =>
exit 1; Session.finish();
to
/usr/lib/smlnj/bin/sml @SMLdebug=/dev/null
Not sure if this helpz without knowing the contents of
/usr/local/Isabelle/heaps/smlnj-110_x86-linux/Pure. If you want to
download Isabelle and try it yourself, I followed thi install
instructions and then edited etc/settings to uncomment the smlnj-110
section and set ML_HOME="/usr/lib/smlnj/bin".
Andrew
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (800, 'unstable'), (1, 'experimental')
Architecture: i386 (i686)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.6.12-1-686
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Versions of packages smlnj depends on:
ii smlnj-runtime 110.52-1 Standard ML of New Jersey runtime
smlnj recommends no packages.
-- no debconf information
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
