[MacPorts] #22255: New port: ssreflect
#22255: New port: ssreflect ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: macports-tickets@… Type: request | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Keywords: ssreflect coq | Port: ---------------------------------------+------------------------------------ Please add ssreflect to macports. Ssreflect is a small scale reflection extension for the coq system. http://www.msr-inria.inria.fr/Projects/math-components/ NOTE: To install ssreflect, coq should be fixed by #22254. -- Ticket URL: <http://trac.macports.org/ticket/22255> MacPorts <http://www.macports.org/> Ports system for Mac OS
#22255: New port: ssreflect ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: ---------------------------------------+------------------------------------ Changes (by jmr@…): * keywords: ssreflect coq => * version: 1.8.1 => * type: request => submission -- Ticket URL: <http://trac.macports.org/ticket/22255#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#22255: New port: ssreflect ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: ---------------------------------------+------------------------------------ Comment(by kiyoshi.coquser@…): Ticket #22254 is fixed. So there is no reason to defer the addition of ssreflect to macports, now. -- Ticket URL: <http://trac.macports.org/ticket/22255#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#22255: New port: ssreflect ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: ---------------------------------------+------------------------------------ Comment(by jobr@…): I get the following error after installing with the attached Portfile on a freshly-compiled Coq 8.2pl1. {{{ Coq < Require Import ssreflect. Error: The file /opt/local/lib/coq/user-contrib/theories/ssreflect.vo contains library ssreflect and not library theories.ssreflect }}} -- Ticket URL: <http://trac.macports.org/ticket/22255#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
#22255: New port: ssreflect ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: ssreflect ---------------------------------------+------------------------------------ Changes (by jmr@…): * port: => ssreflect -- Ticket URL: <https://trac.macports.org/ticket/22255#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts