[MacPorts] #51647: gringo @4.5.4 does not require Boost

[MacPorts]

#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