Hallo zusammen!
Laut /usr/ports/UPDATING wurde gmp vom libgmp4 in gmp umbenannt. Und angeblich wäre das völlig problemlos wenn man (wie ich) z.B. Portmaster einsetzt. Dummerweise kann ich nicht updaten denn ein portmaster -a sagt mir folgendes:
Was soll ich denn nun tun?! Ich könnte nun natürlich libgmp löschen wie es da angegeben ist, aber ich habe gelesen, dass ich damit mein Portsystem schrotten würde.
Ist das wahr?! Oder kann ich normal bauen wenn ich libgmp vorher gelöscht habe?
Dank euch!
Laut /usr/ports/UPDATING wurde gmp vom libgmp4 in gmp umbenannt. Und angeblich wäre das völlig problemlos wenn man (wie ich) z.B. Portmaster einsetzt. Dummerweise kann ich nicht updaten denn ein portmaster -a sagt mir folgendes:
===> gmp-5.0.1 conflicts with installed package(s):
libgmp-4.3.2
They install files into the same place.
Please remove them first with pkg_delete(1).
Was soll ich denn nun tun?! Ich könnte nun natürlich libgmp löschen wie es da angegeben ist, aber ich habe gelesen, dass ich damit mein Portsystem schrotten würde.
Ist das wahr?! Oder kann ich normal bauen wenn ich libgmp vorher gelöscht habe?
Dank euch!

