Date: Mon, 22 Jul 2002 03:25:11 +0200 (CEST) From: Matthias Buelow <mkb@mukappabeta.de> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/40866: sml-nj port CM autoloading compilation problems Message-ID: <20020722012511.AB648627@altair.mukappabeta.net>
next in thread | raw e-mail | index | archive | help
>Number: 40866 >Category: ports >Synopsis: sml-nj port CM autoloading compilation problems >Confidential: no >Severity: non-critical >Priority: medium >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: sw-bug >Submitter-Id: current-users >Arrival-Date: Sun Jul 21 18:30:01 PDT 2002 >Closed-Date: >Last-Modified: >Originator: Matthias Buelow >Release: FreeBSD 4.6-STABLE i386 >Organization: >Environment: System: FreeBSD altair.mukappabeta.net 4.6-STABLE FreeBSD 4.6-STABLE #0: Sun Jul 7 03:24:38 CEST 2002 root@altair.mukappabeta.net:/usr2/src/sys/compile/ALTAIR i386 >Description: I'm referring to the SML/NJ language port in <portsroot>/lang/sml-nj: # $FreeBSD: ports/lang/sml-nj/Makefile,v 1.14 2002/07/01 08:53:03 jkoshy Exp $ I have encountered now the problem that when opening a module, the sml/nj system desired to recompile certain files, which were not available anymore, since the respective ports directory had undergone a "make clean" in the meantime. The responsible ports maintainer probably hasn't seen this before either (although I don't want to preempt him/her on this) and I don't think it's trivial to fix. >How-To-Repeat: Start the sml/nj interactive system by running the "sml" command and try to open the SplayTree structure (or use it by any other means): Standard ML of New Jersey, Version 110.0.7, September 28, 2000 [CM; autoload enabled] - open SplayTree; [Autoloading...] !% CM Warning: need to recompile /usr2/ports/lang/sml-nj/work/src/smlnj-lib/Util/splaytree-sig.sml (even though it is `stable') [compiling /usr2/ports/lang/sml-nj/work/src/smlnj-lib/Util/splaytree-sig.sml (stable) -> /usr2/ports/lang/sml-nj/work/src/smlnj-lib/Util/CM/x86-unix/splaytree-sig.sml.bin] uncaught exception Io: openIn failed on "/usr2/ports/lang/sml-nj/work/src/smlnj-lib/Util/splaytree-sig.sml", No such file or directory raised at: boot/IO/text-io-fn.sml:796.25-796.71 sched/recompile.sml:206.38-206.41 - >Fix: A workaround (not tested right now) might be to leave the "work" dir in the ports directory around and open all such structures as the user owning the ports tree, and reinstalling the port once more afterwards. >Release-Note: >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20020722012511.AB648627>