#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