[MacPorts] #51647: gringo @4.5.4 does not require Boost
#51647: gringo @4.5.4 does not require Boost ---------------------------+-------------------------------- Reporter: antonbachin@… | Owner: macports-tickets@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: gringo ---------------------------+-------------------------------- This patch considerably decreases the size of the package generated by "port mpkg opam", from 139MB to 8MB. OPAM depends on Gringo. Background: I believe the Boost dependency was removed in 4.2: https://github.com/potassco/clingo/blob/master/CHANGES#L100 Gringo may have depended on Boost otherwise for some versions after that (haven't searched the full history). But, for 4.5.4, grep -rni boost * in the Gringo source directory reveals no code using Boost. -- Ticket URL: <https://trac.macports.org/ticket/51647> MacPorts <https://www.macports.org/> Ports system for OS X
#51647: gringo @4.5.4 does not require Boost ----------------------------+---------------------- Reporter: antonbachin@… | Owner: mww@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: Resolution: | Keywords: haspatch Port: gringo | ----------------------------+---------------------- Changes (by ryandesign@…): * cc: mww@… (removed) * keywords: => haspatch * owner: macports-tickets@… => mww@… Comment: Since this changes the dependencies that get recorded in the registry when the port is installed, the port's revision should be increased. -- Ticket URL: <https://trac.macports.org/ticket/51647#comment:1> MacPorts <https://www.macports.org/> Ports system for OS X
#51647: gringo @4.5.4 does not require Boost ----------------------------+---------------------- Reporter: antonbachin@… | Owner: mww@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: Resolution: | Keywords: haspatch Port: gringo | ----------------------------+---------------------- Comment (by antonbachin@…): Thanks. See Portfile-gringo.2.diff. -- Ticket URL: <https://trac.macports.org/ticket/51647#comment:2> MacPorts <https://www.macports.org/> Ports system for OS X
#51647: gringo @4.5.4 does not require Boost ----------------------------+---------------------- Reporter: antonbachin@… | Owner: mww@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: fixed | Keywords: haspatch Port: gringo | ----------------------------+---------------------- Changes (by khindenburg@…): * status: new => closed * resolution: => fixed Comment: done r149420 -- Ticket URL: <https://trac.macports.org/ticket/51647#comment:4> MacPorts <https://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts