From owner-freebsd-ports-bugs@FreeBSD.ORG Thu Aug 10 09:50:25 2006 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 38ED416A4DD for ; Thu, 10 Aug 2006 09:50:25 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 1E5AD43D49 for ; Thu, 10 Aug 2006 09:50:13 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.4/8.13.4) with ESMTP id k7A9oCVr031819 for ; Thu, 10 Aug 2006 09:50:12 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.4/8.13.4/Submit) id k7A9oCuZ031818; Thu, 10 Aug 2006 09:50:12 GMT (envelope-from gnats) Resent-Date: Thu, 10 Aug 2006 09:50:12 GMT Resent-Message-Id: <200608100950.k7A9oCuZ031818@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Timothy Bourke Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 207E916A4DA for ; 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 ; 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 ) 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 ; 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 To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: Subject: ports/101749: Update port: math/isabelle X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: Timothy Bourke List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 10 Aug 2006 09:50:25 -0000 >Number: 101749 >Category: ports >Synopsis: Update port: math/isabelle >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Thu Aug 10 09:50:11 GMT 2006 >Closed-Date: >Last-Modified: >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 # -# $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 >Release-Note: >Audit-Trail: >Unformatted: