Vous pouvez utiliser le système de gestion de paquets Fink pour installer mysql-dev. Vous trouverez des informations de démarrage ici pour fink. Cela peut sembler être un moyen détourné d'installer des éléments, mais à long terme, cela rapportera des dividendes.
Bonne chance,
Chris