Bug 101749 - Update port: math/isabelle
Summary: Update port: math/isabelle
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: freebsd-ports-bugs (Nobody)
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-08-10 10:50 UTC by Timothy Bourke
Modified: 2006-08-10 13:05 UTC (History)
0 users

See Also:


Attachments
file.diff (726 bytes, patch)
2006-08-10 10:50 UTC, Timothy Bourke
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Timothy Bourke 2006-08-10 10:50:11 UTC
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.
Comment 1 Edwin Groothuis freebsd_committer 2006-08-10 10:50:30 UTC
Class Changed
From-To: change-request->maintainer-update

Fix category (submitter is maintainer)
Comment 2 Rong-En Fan freebsd_committer 2006-08-10 13:05:27 UTC
State Changed
From-To: open->closed

Committed, with minor changes. Thanks!