RFE: mysql5: configure --without-server by default

[raimue@…]

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.

[ryandesign@…]

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.

[raimue@…]

Oh well, I always keep forgetting to increment the revision in patches...

[ryandesign@…]

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.)

[nox@…]

Ryan, you seem to have forgotten this ticket ;) mysql5 is already at 5.0.67

[ryandesign@…]

Yes... But it also conflicts with #12313 which I think I'm inclined to do instead. What would you think of that?

[nox@…]

Oh... Missed that one! This seems to be a much better idea. Two separate ports ala postgresql should be good.

[ryandesign@…]

Ok, I'll do it as in #12313.

[ryandesign@…]

mysql5-devel had the --without-server option but I removed it in r44956 so that we can do the fix in #12313 instead.

[anonymous]

Milestone Port Enhancements deleted