From owner-freebsd-ports Thu Jul 9 19:11:29 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id TAA03766 for freebsd-ports-outgoing; Thu, 9 Jul 1998 19:11:29 -0700 (PDT) (envelope-from owner-freebsd-ports@FreeBSD.ORG) Received: from bubble.didi.com (cs11k24.ppp.infoweb.or.jp [202.219.191.40]) by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id TAA03746; Thu, 9 Jul 1998 19:11:21 -0700 (PDT) (envelope-from asami@sunrise.cs.berkeley.edu) Received: (from asami@localhost) by bubble.didi.com (8.8.8/8.8.8) id KAA08068; Fri, 10 Jul 1998 10:55:42 +0900 (JST) (envelope-from asami) Date: Fri, 10 Jul 1998 10:55:42 +0900 (JST) Message-Id: <199807100155.KAA08068@bubble.didi.com> To: jkoshy@FreeBSD.ORG CC: ports@FreeBSD.ORG, jkoshy@FreeBSD.ORG In-reply-to: <199807081128.EAA02089@freefall.freebsd.org> (message from Joseph Koshy on Wed, 8 Jul 1998 04:28:57 -0700 (PDT)) Subject: Re: A peculiar port; advice requested ... From: asami@FreeBSD.ORG (Satoshi Asami) Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org * 2. The install process involves a recompilation of (a) the runtime system * and (b) the SML/NJ standard libraries. The default installation * process expects to do this `in-place' in the final installation * directory tree. * * I'm somehow not comfortable with a compilation under /usr/local as * part of `make'; however is it acceptable? Does any other port do * anything similar? Please change it if possible. But if it's really really hard, you can leave it that way. In that case, please do the compilation in the install target, rather than doing the installation in the build target. :) * 3. Is creating a new hierarchy root say "${PREFIX}/sml-nj" ok? The default * installation expects "bin", "bin.${ARCH}", "lib" etc. under * this `ROOT'. Changing the installation to confirm to a more * conventional "/usr/local/*/" structure would make a FreeBSD SML/NJ * installation different from the other unix installations. Do * we have a strict policy on directory hierarchies? Again, please change it if possible, but if you think that is very hard or it will cause a great hardship to SML/NJ users, that's fine. Satoshi To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message