Ticket #18332: patch-Portfile

File patch-Portfile, 476 bytes (added by pixilla (Bradley Giesbrecht), 16 years ago)

Add +partition variant

Line 
1--- Portfile.orig       2009-02-02 10:08:30.000000000 -0800
2+++ Portfile    2009-02-02 10:14:19.000000000 -0800
3@@ -106,6 +106,10 @@
4     startupitem.stop    "${prefix}/share/${mysql}/mysql/mysql.server stop"
5 }
6 
7+variant partition description {add support for database partitioning} {
8+    configure.args-append --with-partition
9+}
10+
11 set plugin_version      1.0.2
12 set plugin_distname     innodb_plugin-${plugin_version}
13 set plugin_distfile     ${plugin_distname}${extract.suffix}