Bug 74502

Summary: mark BROKEN on amd64 and ia64
Product: Ports & Packages Reporter: Rene Ladan <r.c.ladan>
Component: Individual Port(s)Assignee: freebsd-ports-bugs (Nobody) <ports-bugs>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
file.diff none

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
http://caml.inria.fr/bin/caml-bugs/fixed?id=2518;user=guest;selectid=2518

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

Committed, thanks!