[MacPorts] #22726: Cannot compile LaTeX doc for Coq

[MacPorts]

#22726: Cannot compile LaTeX doc for Coq
-------------------------------------------+--------------------------------
 Reporter:  hippallium-macports@…          |       Owner:  macports-tickets@…                   
     Type:  defect                         |      Status:  new                                  
 Priority:  Normal                         |   Milestone:                                       
Component:  ports                          |     Version:  1.8.1                                
 Keywords:  LaTeX                          |        Port:  coq                                  
-------------------------------------------+--------------------------------
 {{{
 $ sudo port install coq +coqide +doc

 --->  Fetching coq
 --->  Attempting to fetch coq-8.2pl1.tar.gz from
 http://distfiles.macports.org/coq
 --->  Verifying checksum(s) for coq
 --->  Extracting coq
 --->  Applying patches to coq
 --->  Configuring coq
 --->  Building coq
 Error: Target org.macports.build returned: shell command " cd
 "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_lang_coq/work/coq-8.2pl1"
 && /usr/bin/make -j2 world " returned error 2
 Command output:
 ! Extra }, or forgotten dgroup. (file Reference-Manual.tex)
 l.188 }

 I've deleted a group-closing symbol because it seems to be
 spurious, as in `$x}$'. But perhaps the } is legitimate and
 you forgot something else, as in `\hbox{$x}'. In such cases
 the way to recover is to insert both the forgotten and the
 deleted material, e.g., by typing `I$}'.

 ) (./RefMan-modr.aux) (./RefMan-oth.v.aux) (./RefMan-pro.aux) (./RefMan-
 tac.v.a
 ux) (./RefMan-ltac.v.aux) (./RefMan-tacex.v.aux) (./RefMan-decl.v.aux)
 (./RefMa
 n-syn.v.aux) (./RefMan-com.aux) (./RefMan-uti.aux) (./RefMan-ide.aux)
 (./AddRef
 Man-pre.aux) (./Cases.v.aux) (./Coercion.v.aux) (./Classes.v.aux)
 (./Omega.v.au
 x) (./Micromega.v.aux) (./Extraction.v.aux) (./Program.v.aux)
 (./Polynom.v.aux)
 Runaway argument?
 {! File ended while scanning use of \@writefile. (file Reference-
 Manual.tex)
 <inserted text>
 \par
 l.46 \@input{Polynom.v.aux}

 I suspect you have forgotten a `}', causing me
 to read past where you wanted me to stop.
 I'll try to recover; but if the error is serious,
 you'd better type `E' or `X' now and fix your file.

 make[1]: *** [doc/refman/Reference-Manual.pdf] Error 1
 make[1]: *** Waiting for unfinished jobs....
 LaTeX Warning: Label(s) may have changed. Rerun to get cross-references
 right.
 make: *** [world] Error 2

 Error: Status 1 encountered during processing.

 $ sudo port install coq +coqide +doc

 --->  Computing dependencies for coq
 --->  Building coq
 --->  Staging coq into destroot
 --->  Installing coq @8.2pl1_1+coqide+doc
 --->  Activating coq @8.2pl1_1+coqide+doc
 The style file for LaTeX documentation,
 coqdoc.sty, is in /opt/local/share/coq/latex.
 Add this to your TEXINPUTS if you wish to
 use it.
 --->  Cleaning coq

 $
 }}}

-- 
Ticket URL: <http://trac.macports.org/ticket/22726>
MacPorts <http://www.macports.org/>
Ports system for Mac OS