search

SWI-Prolog / issues

Dummy repository for issue tracking
7 stars 3 forks source link

stable 9 PPA KO #126

Open moueza opened 1 year ago

moueza commented 1 year ago
  1. sudo apt-get install software-properties-common
  2. sudo apt-add-repository ppa:swi-prolog/stable
  3. sudo apt-get update
  4. sudo apt-get install swi-prolog

But for 4) :

$ sudo apt-get install swi-prolog Reading package lists... Done Building dependency tree... Done Reading state information... Done The following packages were automatically installed and are no longer required: swi-prolog-core swi-prolog-core-packages swi-prolog-doc Use 'sudo apt autoremove' to remove them. The following additional packages will be installed: libgmp-dev libgmpxx4ldbl swi-prolog-nox swi-prolog-x Suggested packages: gmp-doc libgmp10-doc libmpfr-dev prolog-el The following NEW packages will be installed: libgmp-dev libgmpxx4ldbl The following packages will be upgraded: swi-prolog swi-prolog-nox swi-prolog-x 3 upgraded, 2 newly installed, 0 to remove and 65 not upgraded. Need to get 6 926 kB of archives. After this operation, 23,7 MB of additional disk space will be used. Do you want to continue? [Y/n] y Get:1 http://fr.archive.ubuntu.com/ubuntu kinetic/main amd64 libgmpxx4ldbl amd64 2:6.2.1+dfsg1-1ubuntu2 [9 994 B] Get:2 http://fr.archive.ubuntu.com/ubuntu kinetic/main amd64 libgmp-dev amd64 2:6.2.1+dfsg1-1ubuntu2 [337 kB] Get:3 https://ppa.launchpadcontent.net/swi-prolog/stable/ubuntu kinetic/main amd64 swi-prolog amd64 9.0.4-3-g333f86c3d-kineticppa2 [27,3 kB] Get:4 https://ppa.launchpadcontent.net/swi-prolog/stable/ubuntu kinetic/main amd64 swi-prolog-x amd64 9.0.4-3-g333f86c3d-kineticppa2 [2 199 kB] Get:5 https://ppa.launchpadcontent.net/swi-prolog/stable/ubuntu kinetic/main amd64 swi-prolog-nox amd64 9.0.4-3-g333f86c3d-kineticppa2 [4 352 kB] Fetched 6 926 kB in 6s (1 223 kB/s)
Selecting previously unselected package libgmpxx4ldbl:amd64. (Reading database ... 731139 files and directories currently installed.) Preparing to unpack .../libgmpxx4ldbl_2%3a6.2.1+dfsg1-1ubuntu2_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1ubuntu2) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg1-1ubuntu2_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1ubuntu2) ... Preparing to unpack .../swi-prolog_9.0.4-3-g333f86c3d-kineticppa2_amd64.deb ... Unpacking swi-prolog (9.0.4-3-g333f86c3d-kineticppa2) over (8.4.2+dfsg-2ubuntu1) ... Preparing to unpack .../swi-prolog-x_9.0.4-3-g333f86c3d-kineticppa2_amd64.deb ... Unpacking swi-prolog-x (9.0.4-3-g333f86c3d-kineticppa2) over (8.4.2+dfsg-2ubuntu1) ... Preparing to unpack .../swi-prolog-nox_9.0.4-3-g333f86c3d-kineticppa2_amd64.deb ... Unpacking swi-prolog-nox (9.0.4-3-g333f86c3d-kineticppa2) over (8.4.2+dfsg-2ubuntu1) ... dpkg: error processing archive /var/cache/apt/archives/swi-prolog-nox_9.0.4-3-g333f86c3d-kineticppa2_amd64.deb (--unpack): trying to overwrite '/usr/lib/cmake/swipl/SWIPLConfig.cmake', which is also in package swi-prolog-core 8.4.2+dfsg-2ubuntu1 dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Errors were encountered while processing: /var/cache/apt/archives/swi-prolog-nox_9.0.4-3-g333f86c3d-kineticppa2_amd64.deb E: Sub-process /usr/bin/dpkg returned an error code (1) $

JanWielemaker commented 1 year ago

I'm afraid you first have to uninstall the Ubuntu version. That is, AFAIK, not uncommon for PPA versions. If there is a simple patch to avoid this, I'm glad to apply it.