Projects
New Ticket     Wiki     Browse Source     Timeline     Roadmap     Bug Reports     Search

Ticket #14146 (assigned enhancement)

Opened 10 months ago

Last modified 2 weeks ago

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

Reported by: raimue@… Owned by: ryandesign@…
Priority: Normal Milestone: Port Enhancements
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

patch-mysql5-without-server.diff (0.7 KB) - added by raimue@… 10 months ago.

Change History

Changed 10 months ago by raimue@…

Changed 10 months 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.

Changed 10 months ago by raimue@…

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

Changed 10 months 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.)

Changed 7 weeks ago by raimue@…

  • keywords mysql5 removed
  • port set to mysql5

Changed 2 weeks ago by nox@…

  • cc nox@… added

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

Changed 2 weeks 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?

Changed 2 weeks ago by nox@…

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

Note: See TracTickets for help on using tickets.