Bug 74502 - mark BROKEN on amd64 and ia64
Summary: mark BROKEN on amd64 and ia64
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 mailing list
Depends on:
Reported: 2004-11-29 09:30 UTC by Rene Ladan
Modified: 2004-11-29 09:34 UTC (History)
0 users

See Also:

file.diff (492 bytes, patch)
2004-11-29 09:30 UTC, Rene Ladan
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Rene Ladan 2004-11-29 09:30:25 UTC
A bug in OCaml prevents Coq to compile on the ia64 and also the amd64 platform.

See also
http://coq.inria.fr/bin/coq-bugs/not a coq bug?id=661;user=guest;selectid=661
http://coq.inria.fr/bin/coq-bugs/not a coq bug?id=827;user=guest;selectid=827

How-To-Repeat: Mark port as BROKEN until Ocaml is fixed.
Comment 1 Anton Berezin freebsd_committer 2004-11-29 09:34:27 UTC
State Changed
From-To: open->closed

Committed, thanks!