Opened 13 years ago
Closed 13 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@… |
|---|
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:5 Changed 13 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 13 years ago by jmroot (Joshua Root)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Closing as per comment:5.
Note: See
TracTickets for help on using
tickets.
Please remember to cc the maintainer. Are you really using 1.9.2 on Lion? If so, you should install a newer version.