Ticket #19152: Portfile.diff

File Portfile.diff, 317 bytes (added by mainka (Jérôme Mainka), 15 years ago)

Portfile diff to force config_mysql5

  • Portfile

    old new  
    9191
    9292variant mysql5 conflicts mysql3 mysql4 {
    9393    configure.args-delete --with-mysql=no
     94    configure.args-append --with-mysql=${prefix}/bin/mysql_config5
    9495    depends_lib-append port:mysql5
    9596}
    9697