Bug 93954 - math/coq: update to version 8.0p3
Summary: math/coq: update to version 8.0p3
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-02-28 20:50 UTC by Johan van Selst
Modified: 2006-03-16 15:31 UTC (History)
0 users

See Also:

Attachments
file.diff (2.36 KB, patch)
2006-02-28 20:50 UTC, Johan van Selst 		no flags Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Johan van Selst 2006-02-28 20:50:05 UTC 
	
	Update to latest stable version 8.0pl3

	Also removed WITH_IDE as default option, since this won't work
	anymore due to broken dependency.
Comment 1 Volker Stolz 2006-03-01 09:23:30 UTC 
Note to committer: The error in the dependency has been fixed.

Please check if you can't come up with a fix before disabling  
functionality.

Cheers,
   Volker
Comment 2 Johan van Selst 2006-03-09 10:56:16 UTC 
Extra pointyhats to me. The dependencies cause all sorts of weird problems that I couldn't fix (when using ocaml-nox11). This should be no surprise however.

Please leave WITH_IDE=yes in.
Comment 3 Pav Lucistnik freebsd_committer freebsd_triage 2006-03-16 15:31:31 UTC 
State Changed
From-To: open->closed

Committed, thanks!