Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 2 Aug 2002 02:20:05 -0700 (PDT)
From:      Oliver Braun <obraun@informatik.unibw-muenchen.de>
To:        freebsd-ports@FreeBSD.org
Subject:   Re: ports/41231: lang/ghc/Makefile: no-profile patch
Message-ID:  <200208020920.g729K5os080195@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/41231; it has been noted by GNATS.

From: Oliver Braun <obraun@informatik.unibw-muenchen.de>
To: Simon Marlow <simonmar@microsoft.com>
Cc: Volker Stolz <vs@lambda.foldr.org>,
	FreeBSD-gnats-submit@FreeBSD.ORG
Subject: Re: ports/41231: lang/ghc/Makefile: no-profile patch
Date: Fri, 2 Aug 2002 11:09:47 +0200

 * Simon Marlow <simonmar@microsoft.com> [2002-08-02 10:52]:
 > Approved.  Should there be a note somewhere about the NOPROFILE option?
 > Where is the usual place to put such things?
 
 Something like:
 
 pre-everything::
 .if !defined(NOPROFILE)
         @${ECHO_CMD} "GHC .... with profile....."
         @${ECHO_CMD} "Define NOPROFILE to ...."
 .else
         @${ECHO_CMD} "GHC .... without profile....."
 .endif
 
 in the Makefile.
 
 Regards,
          Olli, leaving for a vacation trip
 -- 
 IST & IIS _ INF _ UniBwM _____ http://ist.unibw-muenchen.de/People/obraun/
 Tele-Consulting GmbH _________ http://www.tele-consulting.com/ ___ obraun@
 FreeBSD: The Power To Serve __ http://www.freebsd.org/ ___________________

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?200208020920.g729K5os080195>