From owner-freebsd-ports Sun Jul 21 18:30:10 2002 Delivered-To: freebsd-ports@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.FreeBSD.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 3D06237B400 for ; Sun, 21 Jul 2002 18:30:02 -0700 (PDT) Received: from freefall.freebsd.org (freefall.FreeBSD.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 9D68A43E3B for ; Sun, 21 Jul 2002 18:30:01 -0700 (PDT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.12.4/8.12.4) with ESMTP id g6M1U1JU084227 for ; Sun, 21 Jul 2002 18:30:01 -0700 (PDT) (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.12.4/8.12.4/Submit) id g6M1U1H7084226; Sun, 21 Jul 2002 18:30:01 -0700 (PDT) Received: from mx1.FreeBSD.org (mx1.FreeBSD.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id DEE6737B400 for ; Sun, 21 Jul 2002 18:24:22 -0700 (PDT) Received: from altair.mukappabeta.net (altair.mukappabeta.net [194.145.150.157]) by mx1.FreeBSD.org (Postfix) with ESMTP id 9D87B43E4A for ; Sun, 21 Jul 2002 18:24:21 -0700 (PDT) (envelope-from mkb@altair.mukappabeta.net) Received: by altair.mukappabeta.net (Postfix, from userid 1001) id AB648627; Mon, 22 Jul 2002 03:25:11 +0200 (CEST) Message-Id: <20020722012511.AB648627@altair.mukappabeta.net> Date: Mon, 22 Jul 2002 03:25:11 +0200 (CEST) From: Matthias Buelow Reply-To: Matthias Buelow To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Subject: ports/40866: sml-nj port CM autoloading compilation problems Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org >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 /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