Opened 8 years ago
Closed 8 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)
Change History (6)
Changed 8 years ago by antonbachin@…
| Attachment: | Portfile-gringo.diff added |
|---|
comment:1 Changed 8 years ago by ryandesign (Ryan Carsten Schmidt)
| Cc: | mww@… removed |
|---|---|
| Keywords: | haspatch added |
| Owner: | changed from macports-tickets@… to mww@… |
Changed 8 years ago by antonbachin@…
| Attachment: | Portfile-gringo.2.diff added |
|---|
comment:4 Changed 8 years ago by kurthindenburg (Kurt Hindenburg)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
done r149420
Note: See
TracTickets for help on using
tickets.
Since this changes the dependencies that get recorded in the registry when the port is installed, the port's revision should be increased.