Date: Thu, 10 Aug 2006 19:44:06 +1000 (EST) From: Timothy Bourke <timbob@bigpond.com> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/101749: Update port: math/isabelle Message-ID: <200608100944.k7A9i6Mr011653@triptrop.cse.unsw.edu.au> Resent-Message-ID: <200608100950.k7A9oCuZ031818@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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 <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: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200608100944.k7A9i6Mr011653>