Page 1 of 1
blockers non installati [RISOLTO]
Posted: Thu Oct 06, 2005 12:48 am
by tuxer
Nel tentativo di installare coq portage ha uno strambo comportamento, mi dice che ocaml ne blocca l'installazione anche se l'ho tolto...
Code: Select all
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]
Posted: Thu Oct 06, 2005 8:42 am
by ProT-0-TypE
installa una versione di ocaml meno recente:
Code: Select all
emerge -v =dev-lang/ocaml-3.07-r1
emerge -v coq
così funziona
Code: Select all
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
Posted: Thu Oct 06, 2005 8:43 am
by makoomba
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: Select all
echo ">=dev-lang/ocaml-3.08" >> /etc/portage/package.mask
oppure puoi semplicemente installare la versione ~x86
Code: Select all
echo "sci-mathematics/coq ~x86" >> /etc/portage/package.keywords
Posted: Sat Oct 08, 2005 12:34 pm
by tuxer
Ok grazie risolto che stupido sono stato a non pensarci
