blockers non installati [RISOLTO]

Message

tuxer · Post by **tuxer** » Thu Oct 06, 2005 12:48 am

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]

ProT-0-TypE · Post by **ProT-0-TypE** » Thu Oct 06, 2005 8:42 am

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

makoomba · Post by **makoomba** » Thu Oct 06, 2005 8:43 am

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

tuxer · Post by **tuxer** » Sat Oct 08, 2005 12:34 pm

Ok grazie risolto che stupido sono stato a non pensarci