#14146 closed enhancement (wontfix)
RFE: mysql5: configure --without-server by default
| Reported by: | raimue (Rainer Müller) | Owned by: | ryandesign (Ryan Carsten Schmidt) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.6.0 |
| Keywords: | Cc: | jyrkiwahlstedt, 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 (1)
Change History (11)
Changed 17 years ago by raimue (Rainer Müller)
| Attachment: | patch-mysql5-without-server.diff added |
|---|
comment:1 Changed 17 years ago by ryandesign (Ryan Carsten Schmidt)
| Cc: | jwa@… added |
|---|
comment:2 Changed 17 years ago by raimue (Rainer Müller)
Oh well, I always keep forgetting to increment the revision in patches...
comment:3 Changed 17 years ago by ryandesign (Ryan Carsten Schmidt)
| Status: | new → 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:4 Changed 16 years ago by raimue (Rainer Müller)
| Keywords: | mysql5 removed |
|---|---|
| Port: | mysql5 added |
comment:5 Changed 16 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 16 years ago by ryandesign (Ryan Carsten Schmidt)
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 16 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 16 years ago by ryandesign (Ryan Carsten Schmidt)
| Resolution: | → wontfix |
|---|---|
| Status: | assigned → closed |
Ok, I'll do it as in #12313.
comment:9 Changed 16 years ago by ryandesign (Ryan Carsten Schmidt)
comment:10 Changed 16 years ago by (none)
| Milestone: | Port Enhancements |
|---|
Milestone Port Enhancements deleted
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.