Dato che mi piacerebbe usare il plugin Gedit LaTeX che purtroppo non è disponibile per Gedit 3.2 nei repository, voglio compilarlo da solo. La versione più recente disponibile su http://git.gnome.org/browse/gedit-latex supporta Gedit di GNOME 3.
Nella documentazione si dice:
A causa di una limitazione nella lettura delle Impostazioni, il plugin attualmente deve essere installato nello stesso prefisso di gedit. Ad esempio, se stai usando gedit 3 dalla tua distribuzione, devi farlo
./configure --prefix=/usr make sudo make installSe stai usando una distribuzione a 64 bit, devi anche passare
--libdir=/usr/lib64allo./configurescript.
Ecco perché sono cdentrato nella directory che contiene il codice e ho provato a eseguirlo ./configure --prefix=/usr --libdir=/usr/lib64. Sfortunatamente, questo non funziona, dando il messaggio di errore:
bash: ./configure: No such file or directory
Dopo aver controllato la cartella, in effetti non esiste alcun file configure, ma solo configure.ac. Cosa posso fare per compilare questo plugin?
apt-get install autopointed eseguire di nuovo autogen.sh .....