Ticket #14142 (new defect)
Make mysql5 and mysql5-devel as similar as possible
| Reported by: | ryandesign@… | Owned by: | ryandesign@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | Port Bugs |
| Component: | ports | Version: | 1.6.0 |
| Keywords: | Cc: | jwa@… | |
| Port: | mysql5, mysql5-devel |
Description
The mysql5 and mysql5-devel portfiles currently differ in a number of ways:
- The whitespace differs. Fix this so that it's easy to see at a glance how mysql5 and mysql5-devel differ functionally.
- mysql5-devel installs to different directories than mysql5. Fix this so that ports that depend on mysql5 would also work if mysql5-devel were installed instead.
- Possibly more?
jwa, the other maintainer of mysql5-devel, agrees with these changes.
Change History
Note: See
TracTickets for help on using
tickets.

