| 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 |
|
|
|
Forum italiano (Italian)
