Projects
New Ticket     Wiki     Browse Source     Timeline     Roadmap     Bug Reports     Search

Ticket #14146 (assigned enhancement)

Opened 8 months ago

Last modified 3 days 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@…
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@… 8 months ago.

Change History

Changed 8 months ago by raimue@…

Changed 8 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 8 months ago by raimue@…

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

Changed 8 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 3 days ago by raimue@…

  • keywords mysql5 removed
  • port set to mysql5
Note: See TracTickets for help on using tickets.