View previous topic :: View next topic |
Author |
Message |
tuxer Guru

Joined: 10 May 2004 Posts: 328
|
Posted: Thu Oct 06, 2005 12:48 am Post subject: blockers non installati [RISOLTO] |
|
|
Nel tentativo di installare coq portage ha uno strambo comportamento, mi dice che ocaml ne blocca l'installazione anche se l'ho tolto...
Code: | emerge -pv coq
These are the packages that I would merge, in order:
Calculating dependencies ...done!
[blocks B ] >=dev-lang/ocaml-3.08 (is blocking sci-mathematics/coq-7.4)
[ebuild N ] dev-lang/ocaml-3.08.3 +latex +tcltk 1,979 kB
[ebuild N ] sci-mathematics/coq-7.4 -norealanalysis 1,501 kB
emerge -pv dev-lang/ocaml
These are the packages that I would merge, in order:
Calculating dependencies ...done!
[ebuild N ] dev-lang/ocaml-3.08.3 +latex +tcltk 1,979 kB
Total size of downloads: 1,979 |
Ho anche aggiornato il portage ma niente da fare... che dovrei fare secondo voi??[/code]
Last edited by tuxer on Sat Oct 08, 2005 12:34 pm; edited 1 time in total |
|
Back to top |
|
 |
ProT-0-TypE Veteran


Joined: 20 Dec 2003 Posts: 1624 Location: Cagliari
|
Posted: Thu Oct 06, 2005 8:42 am Post subject: |
|
|
installa una versione di ocaml meno recente:
Code: | emerge -v =dev-lang/ocaml-3.07-r1
emerge -v coq |
così funziona
Code: | emerge -vp =dev-lang/ocaml-3.07-r1 coq
These are the packages that I would merge, in order:
Calculating dependencies ...done!
[ebuild N ] dev-lang/ocaml-3.07-r1 -latex +tcltk 2,519 kB
[ebuild N ] sci-mathematics/coq-7.4 -norealanalysis 1,501 kB
Total size of downloads: 4,021 kB
|
_________________ [Vuoi guadagnare navigando?]
Last edited by ProT-0-TypE on Thu Oct 06, 2005 8:44 am; edited 1 time in total |
|
Back to top |
|
 |
makoomba Bodhisattva


Joined: 03 Jun 2004 Posts: 1856
|
Posted: Thu Oct 06, 2005 8:43 am Post subject: |
|
|
coq richiede una versione di ocaml >= 3.06 ma < 3.08, la versione stabile è la 3.08.3 per cui ti va in blocco
per risolvere
Code: | echo ">=dev-lang/ocaml-3.08" >> /etc/portage/package.mask
|
oppure puoi semplicemente installare la versione ~x86
Code: | echo "sci-mathematics/coq ~x86" >> /etc/portage/package.keywords
|
|
|
Back to top |
|
 |
tuxer Guru

Joined: 10 May 2004 Posts: 328
|
Posted: Sat Oct 08, 2005 12:34 pm Post subject: |
|
|
Ok grazie risolto che stupido sono stato a non pensarci  |
|
Back to top |
|
 |
|