"make index" shows missing port directory

[Alfred Bartsch]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

in our environment we are using mariadb instead of mysql.
This should be achieved  by setting "DEFAULT_MYSQL_VER=53"
in /etc/make.conf.

A subsequent "make index" produces following messages:

Generating INDEX-8 - please wait..make_index: innotop-1.8.1_2: no
entry for /usr/ports/databases/p5-DBD-mysql53
make_index: innotop-1.8.1_2: no entry for
/usr/ports/databases/p5-DBD-mysql53
make_index: tinderbox-3.4.1: no entry for
/usr/ports/databases/p5-DBD-mysql53
make_index: tinderbox-devel-3.4.r3.20120404,1: no entry for
/usr/ports/databases/p5-DBD-mysql53
make_index: netdot-0.9.10_1: no entry for
/usr/ports/databases/p5-DBD-mysql53
make_index: zoneminder-1.25.0: no entry for
/usr/ports/databases/p5-DBD-mysql53
...

Adding this missing entry to the portstree should solve this issue.
To avoid such problems in the future, it would IMHO be preferable to
have only one port (/usr/ports/databases/p5-DBD-mysql), which is able
to handle all mysql versions, similar to p5-DBD-Pg.

- -- 
Regards
Alfred Bartsch
Data-Service GmbH
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (FreeBSD)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk/RppEACgkQ5QGe2JdVf3gFCQCglJIgJIOxJUCyWca3Po5AlQhX
N5EAnRmrpX3Nnhcp8W1pgOdcztDFAlMo
=MuZu
-----END PGP SIGNATURE-----