Da pochi giorni è disponibile per il download la versione 5.1.10 (beta) di MySQL Workbench per sistemi operativi linux a 64 bit.
Personalmente ho trovato alcune difficoltà ad installare il pacchetto .deb scaricato dal sito sulla mia versione di Ubuntu a 64 bit; l’errore era il seguente:

Come si nota dallo screenshot sopra riportato, l’errore fa riferimento ad una dipendenza non soddisfatta con la libreria libcairo2, che in realtà è correttamente installata nel mio sistema.
Per chi si trovasse nella stessa situazione, sappiate che è possibile ricompilare il codice sorgente di MySQL Workbench 5.1.10 per farlo funzionare con Ubuntu a 64 bit.
Per prima cosa è necessario scaricare il codice sorgente dal sito di Workbench (tar.gz) e scompattarlo in una directory, ad esempio /home/temp/wb-src
A questo punto è bene accertarsi di avere correttamente installate tutte le librerie da cui Workbench dipende; eventualmente possiamo installarle con apt-get install nel modo seguente:
sudo apt-get install build-essential autoconf automake libxml2-dev libtool libzip-dev libsigc++-2.0-dev liblua5.1-dev libpixman-1-dev libpcre3-dev libgnome2-dev libgtk2.0-dev libpango1.0-dev libcairo2-dev libglade2-dev libgtkmm-2.4-dev libglu1-mesa-dev libgl1-mesa-glx mesa-common-dev libmysqlclient15-dev uuid-dev
A questo punto, dalla directory dove abbiamo scompattato il sorgente di workbench dovremmo eseguire:
./autogen.sh
Dopo qualche minuto di attesa, digitiamo:
make install DESTDIR=/home/temp/wb-dest
dove /home/temp/wb-dest è la directory (preventivamente creata) designata per contenere il codice compilato.
Se volete velocizzare un po’ il processo di compilazione, potete utilizzare l’opzione -jX dove X indica il numero di thread in parallelo dedicati alla compilazione.
Dopo qualche minuto il gioco è fatto e possiamo lanciare l’eseguibile che si trova in /home/temp/wb-dest/usr/local/bin/mysql-workbench
Ricordo che MySQL Workbench è disponibile anche per distribuzioni Linux a 32 bit, oltre che per altri sistemi operativi come Windows e Mac.