Opened 3 years ago

Closed 3 years ago

#51647 closed enhancement (fixed)

gringo @4.5.4 does not require Boost

Reported by: antonbachin@… Owned by: mww@…
Priority: Normal Milestone:
Component: ports Version:
Keywords: haspatch Cc: kurthindenburg (Kurt Hindenburg)
Port: gringo

Description

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.

Attachments (2)

Portfile-gringo.diff (353 bytes) - added by antonbachin@… 3 years ago.
Portfile-gringo.2.diff (572 bytes) - added by antonbachin@… 3 years ago.

Download all attachments as: .zip

Change History (6)

Changed 3 years ago by antonbachin@…

Attachment: Portfile-gringo.diff added

comment:1 Changed 3 years ago by ryandesign (Ryan Schmidt)

Cc: mww@… removed
Keywords: haspatch added
Owner: changed from macports-tickets@… to mww@…

Since this changes the dependencies that get recorded in the registry when the port is installed, the port's revision should be increased.

Changed 3 years ago by antonbachin@…

Attachment: Portfile-gringo.2.diff added

comment:2 Changed 3 years ago by antonbachin@…

Thanks. See Portfile-gringo.2.diff.

comment:3 Changed 3 years ago by kurthindenburg (Kurt Hindenburg)

Cc: khindenburg@… added

Cc Me!

comment:4 Changed 3 years ago by kurthindenburg (Kurt Hindenburg)

Resolution: fixed
Status: newclosed

done r149420

Note: See TracTickets for help on using tickets.