PDA

View Full Version : [Mandriva] installazione di ocaml


shang84
18-04-2006, 21:49
Ciao a tutti,
ho installato Mandriva sul mio note e cercando con gestore pacchetti Ocaml non l'ho trovato. Quindi ho cercato degli rpm in rete e ho trovato i seguenti:

ocaml-3.08.3-2mdk.x86_64.rpm
ocaml-runtime-3.06-2.i386.rpm ocaml-creal-devel-0.6-1mdk.i586.rpm ocaml-3.08.3-2mdk.src.rpm etc..

che però al momento dell'installazione mi danno i seguenti avvisi:

- non riesco ad accedere al file hdlist di "plf-free", ignoro il supporto
- non riesco ad accedere al file hdlist di "plf-nonfree", ignoro il supporto
- non riesco ad accedere al file hdlist di "updates", ignoro il supporto
- alcuni pacchetti nn possono essere installati perchè non è soddisfatto libtinfo.so.5

col risultato che l'installazione non avviene correttamente.
cosa posso fare?? Grazie!!

VegetaSSJ5
20-04-2006, 11:45
http://easyurpmi.zarb.org/

seleziona la versione official e aggiungi tutti i supporti.

shang84
20-04-2006, 14:28
[lele@192 ~]$ su
Password:
[root@192 lele]# urpmi.addmedia plf-free ftp://ftp.univ-orleans.fr/logiciel-libre/plf/mandriva/free/2006.0/x86_64 with hdlist.cz
non riesco ad accedere al file hdlist di "plf-free", ignoro il supporto
non riesco ad accedere al file hdlist di "plf-nonfree", ignoro il supporto
non riesco ad accedere al file hdlist di "updates", ignoro il supporto
il supporto "plf-free" esiste già
[root@192 lele]# urpmi.addmedia contrib ftp://gd.tuwien.ac.at/pub/linux/Mandriva/official/2006.0/x86_64/media/contrib with media_info/hdlist.cz



Perchè??

VegetaSSJ5
20-04-2006, 15:19
apri il programma "gestione supporti" oppure gesitone fonti o una cosa del genere. si trova nel menu k insieme alle voci mandriva update e aggiungi programmi. rimuovi tutte le voci che già ci sono e poi dai i comandi di easyurpmi per aggiungere le fonti.

shang84
20-04-2006, 15:35
Intanto GRAZIE MILLE!!

Ora riesco ad installare skype senza problemi, ma rimane il fatto che ocaml nn mi si installa nonostante urpmi mi dica installazione completata..

...e normale poi che avvenga ciò:

[lele@192 ~]$ urpmi.addmedia contrib ftp://fr2.rpmfind.net/linux/Mandrakelinux/official/2006.0/i586/media/contrib with media_info/hdlist.cz
bash: urpmi.addmedia: command not found

?

E poi altra domanda, una volta installato il software come posso disintallarlo? Scusate per la domanda banale :)

VegetaSSJ5
20-04-2006, 16:46
devi essere root per lanciare quel comando