[MacPorts] #45508: coq build fails on MacOS 10.10 (yosemite)

[MacPorts]

#45508: coq build fails on MacOS 10.10 (yosemite)
---------------------------+--------------------------------
 Reporter:  lord@…         |      Owner:  macports-tickets@…
     Type:  defect         |     Status:  new
 Priority:  Normal         |  Milestone:
Component:  ports          |    Version:  2.3.2
 Keywords:  coq, yosemite  |       Port:  coq
---------------------------+--------------------------------
 Trying to install coq @8.4pl4 under MacOS 10.10. Using XCode 6.1.
 Build fails. Log file is attached. Trying to run failed command manually
 gives the following error:

 {{{
 make: Entering directory
 `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.4pl4'
 /Applications/Xcode.app/Contents/Developer/usr/bin/make --warn-undefined-
 variable --no-builtin-rules -f Makefile.build "world"
 make[1]: Entering directory
 `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.4pl4'
 OCAMLC    kernel/univ.ml
 OCAMLC    kernel/esubst.ml
 OCAMLC    kernel/term.mli
 OCAMLC    interp/ppextend.ml
 OCAMLC    parsing/lexer.mli
 OCAMLC    parsing/extend.ml
 File "kernel/univ.ml", line 229, characters 0-2:
 Error: This comment contains an unterminated string literal
 File "kernel/univ.ml", line 229, characters 17-20:
 Error: String literal begins here
 make[1]: *** [kernel/univ.cmo] Error 2
 make[1]: *** Waiting for unfinished jobs....
 File "kernel/esubst.ml", line 52, characters 23-24:
 Warning 3: deprecated: Pervasives.&
 Use (&&) instead.
 make[1]: Leaving directory
 `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.4pl4'
 make: *** [world] Error 2
 make: Leaving directory
 `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.4pl4'
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/45508>
MacPorts <https://www.macports.org/>
Ports system for OS X