[MacPorts] #30287: coq @8.2pl1 - Build Failure
#30287: coq @8.2pl1 - Build Failure -----------------------------------+---------------------------------------- Reporter: richardosborn@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Keywords: | Port: coq -----------------------------------+---------------------------------------- {{{ :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 }}} -- Ticket URL: <https://trac.macports.org/ticket/30287> MacPorts <http://www.macports.org/> Ports system for Mac OS
#30287: coq @8.2pl1 - Build Failure -----------------------------------+---------------------------------------- Reporter: richardosborn@… | Owner: reilles@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Keywords: | Port: coq -----------------------------------+---------------------------------------- Changes (by jmr@…): * owner: macports-tickets@… => reilles@… Comment: Please remember to cc the maintainer. Are you really using 1.9.2 on Lion? If so, you should install a newer version. -- Ticket URL: <https://trac.macports.org/ticket/30287#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#30287: coq @8.2pl1 - Build Failure -----------------------------------+---------------------------------------- Reporter: richardosborn@… | Owner: reilles@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Keywords: | Port: coq -----------------------------------+---------------------------------------- Comment(by richardosborn@…): I just retried with the 2.0RC1 and received the same error message. -- Ticket URL: <https://trac.macports.org/ticket/30287#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#30287: coq @8.2pl1 - Build Failure -----------------------------------+---------------------------------------- Reporter: richardosborn@… | Owner: reilles@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Keywords: | Port: coq -----------------------------------+---------------------------------------- Comment(by hentzlx-cadastro@…): I have the same problem, my config is: Mac OS X Lion (10.7) XCode 4.1 Macports 2.0.0 -- Ticket URL: <https://trac.macports.org/ticket/30287#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
#30287: coq @8.2pl1 - Build Failure -----------------------------------+---------------------------------------- Reporter: richardosborn@… | Owner: reilles@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Keywords: | Port: coq -----------------------------------+---------------------------------------- Comment(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 -- Ticket URL: <https://trac.macports.org/ticket/30287#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS
#30287: coq @8.2pl1 - Build Failure ------------------------------------+--------------------------------------- Reporter: richardosborn@… | Owner: reilles@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Resolution: fixed | Keywords: Port: coq | ------------------------------------+--------------------------------------- Changes (by jmr@…): * status: new => closed * resolution: => fixed Comment: Closing as per comment:5. -- Ticket URL: <https://trac.macports.org/ticket/30287#comment:6> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts