Opened 13 years ago

Closed 12 years ago

#30287 closed defect (fixed)

coq @8.2pl1 - Build Failure

Reported by: richardosborn@… Owned by: reilles@…
Priority: Normal Milestone:
Component: ports Version: 1.9.2
Keywords: Cc: hentzlx-cadastro@…
Port: coq

Description

:info:build File "parsing/pcoq.ml4", line 749, characters 8-300:
:info:build Error: The constructor Gramext.Slist1sep expects 3 argument(s),
:info:build        but is applied here to 2 argument(s)
:info:build make[1]: *** [parsing/pcoq.cmo] Error 2
Processor: 2.2 GHz Intel Core 2 Duo
Memory: 2 GB 667 MHz DDR2 SDRAM
Graphics: NVIDIA GeForce 8600M GT 128 MB
Software: Mac OS X Lion 10.7 (11A511)
          Xcode 4.1 Build 4B110

Change History (6)

comment:1 Changed 13 years ago by jmroot (Joshua Root)

Owner: changed from macports-tickets@… to reilles@…

Please remember to cc the maintainer. Are you really using 1.9.2 on Lion? If so, you should install a newer version.

comment:2 Changed 13 years ago by richardosborn@…

I just retried with the 2.0RC1 and received the same error message.

comment:3 Changed 13 years ago by hentzlx-cadastro@…

I have the same problem, my config is: Mac OS X Lion (10.7) XCode 4.1 Macports 2.0.0

comment:4 Changed 13 years ago by hentzlx-cadastro@…

Cc: hentzlx-cadastro@… added

Cc Me!

comment:5 Changed 12 years ago by hentzlx-cadastro@…

In last version of Macports 2.0.3 the coq port it was updated to 8.3. With this update build work perfectly.

The test versions are: Macports 2.0.3 Port coq8.3pl1 XCode 4.1 Mac OS 10.7.1

comment:6 Changed 12 years ago by jmroot (Joshua Root)

Resolution: fixed
Status: newclosed

Closing as per comment:5.

Note: See TracTickets for help on using tickets.