Ticket #14146 (closed enhancement: wontfix)
RFE: mysql5: configure --without-server by default
| Reported by: | raimue@… | Owned by: | ryandesign@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.6.0 |
| Keywords: | Cc: | jwa@…, nox@… | |
| Port: | mysql5 |
Description
At the moment, mysql5 is configured to be built with the whole server, even if you did not specify +server. I attached a patch which makes use of the --without-server configure flag.
Attachments
Change History
comment:1 Changed 5 years ago by ryandesign@…
- Cc jwa@… added
Thanks. I just noticed this option a couple hours ago actually. mysql5-devel already uses it. I'll add it to mysql5, and I'll have to remember to bump the port revision too.
comment:2 Changed 5 years ago by raimue@…
Oh well, I always keep forgetting to increment the revision in patches...
comment:3 Changed 5 years ago by ryandesign@…
- Status changed from new to assigned
I will add this option when the port is updated to the next version of MySQL after 5.0.51. (The option is broken in version 5.0.51; see MySQL bug 32898.)
comment:5 Changed 5 years ago by nox@…
- Cc nox@… added
Ryan, you seem to have forgotten this ticket ;) mysql5 is already at 5.0.67
comment:6 Changed 5 years ago by ryandesign@…
Yes... But it also conflicts with #12313 which I think I'm inclined to do instead. What would you think of that?
comment:7 Changed 5 years ago by nox@…
Oh... Missed that one! This seems to be a much better idea. Two separate ports ala postgresql should be good.
comment:8 Changed 4 years ago by ryandesign@…
- Status changed from assigned to closed
- Resolution set to wontfix
Ok, I'll do it as in #12313.
comment:10 Changed 4 years ago by anonymous
- Milestone Port Enhancements deleted
Milestone Port Enhancements deleted