From tbourke@triptrop.cse.unsw.edu.au  Thu Aug 10 09:44:45 2006
Return-Path: <tbourke@triptrop.cse.unsw.edu.au>
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 207E916A4DA
	for <FreeBSD-gnats-submit@freebsd.org>; Thu, 10 Aug 2006 09:44:45 +0000 (UTC)
	(envelope-from tbourke@triptrop.cse.unsw.edu.au)
Received: from note.orchestra.cse.unsw.EDU.AU (note.orchestra.cse.unsw.EDU.AU [129.94.242.24])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 4948C43D45
	for <FreeBSD-gnats-submit@freebsd.org>; Thu, 10 Aug 2006 09:44:43 +0000 (GMT)
	(envelope-from tbourke@triptrop.cse.unsw.edu.au)
Received: From triptrop.cse.unsw.edu.au ([129.94.174.104])
	(for <FreeBSD-gnats-submit@freebsd.org>) By note With Smtp ;
	Thu, 10 Aug 2006 19:44:41 +1000 
Received: from triptrop.cse.unsw.edu.au (localhost [127.0.0.1])
	by triptrop.cse.unsw.edu.au (8.13.6/8.13.6) with ESMTP id k7A9i6l7011654
	for <FreeBSD-gnats-submit@freebsd.org>; Thu, 10 Aug 2006 19:44:07 +1000 (EST)
	(envelope-from tbourke@triptrop.cse.unsw.edu.au)
Received: (from tbourke@localhost)
	by triptrop.cse.unsw.edu.au (8.13.6/8.13.6/Submit) id k7A9i6Mr011653;
	Thu, 10 Aug 2006 19:44:06 +1000 (EST)
	(envelope-from tbourke)
Message-Id: <200608100944.k7A9i6Mr011653@triptrop.cse.unsw.edu.au>
Date: Thu, 10 Aug 2006 19:44:06 +1000 (EST)
From: Timothy Bourke <timbob@bigpond.com>
Reply-To: Timothy Bourke <timbob@bigpond.com>
To: FreeBSD-gnats-submit@freebsd.org
Cc:
Subject: Update port: math/isabelle 
X-Send-Pr-Version: 3.113
X-GNATS-Notify:

>Number:         101749
>Category:       ports
>Synopsis:       Update port: math/isabelle
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Thu Aug 10 09:50:11 GMT 2006
>Closed-Date:    Thu Aug 10 12:05:29 GMT 2006
>Last-Modified:  Thu Aug 10 12:05:29 GMT 2006
>Originator:     Timothy Bourke
>Release:        FreeBSD 6.1-RELEASE-p3 i386
>Organization:
UNSW
>Environment:
System: FreeBSD triptrop 6.1-RELEASE-p3 FreeBSD 6.1-RELEASE-p3 #7: Sun Jul 30 15:18:30 EST 2006 root@triptrop:/usr/obj/usr/src/sys/TP_R52 i386

>Description:
math/isabelle does not build on pointyhat, because the build process
requires a non-standard kernel setting.

(refer http://docs.freebsd.org/cgi/mid.cgi?20060521015932.GB603)

My apologies for the delay.

>How-To-Repeat:
>Fix:

Index: Makefile
===================================================================
RCS file: /home/ncvs/ports/math/isabelle/Makefile,v
retrieving revision 1.2
diff -u -r1.2 Makefile
--- Makefile	1 May 2006 18:01:58 -0000	1.2
+++ Makefile	10 Aug 2006 09:33:31 -0000
@@ -2,7 +2,7 @@
 # Date created:        08 August 2005
 # Whom:                Timothy Bourke <timbob@bigpond.com>
 #
-# $FreeBSD: ports/math/isabelle/Makefile,v 1.2 2006/05/01 18:01:58 sem Exp $
+# $FreeBSD$
 #
 
 PORTNAME=	isabelle
@@ -22,6 +22,7 @@
 COMMENT=	A generic proof assistant
 
 OPTIONS=	SMLNJ "Use SML/NJ (devel) instead of the faster Poly/ML" Off
+NO_PACKAGE=	Requires non-standard kernel setting: thus no pointyhat.
 
 .include <bsd.port.pre.mk>
 
>Release-Note:
>Audit-Trail:
Class-Changed-From-To: change-request->maintainer-update 
Class-Changed-By: edwin 
Class-Changed-When: Thu Aug 10 09:50:30 UTC 2006 
Class-Changed-Why:  
Fix category (submitter is maintainer) 

http://www.freebsd.org/cgi/query-pr.cgi?pr=101749 
State-Changed-From-To: open->closed 
State-Changed-By: rafan 
State-Changed-When: Thu Aug 10 12:05:27 UTC 2006 
State-Changed-Why:  
Committed, with minor changes. Thanks! 

http://www.freebsd.org/cgi/query-pr.cgi?pr=101749 
>Unformatted:
