Ubuntu – Accidently installed two versions of swi-prolog, need help to fix it

uninstall

Alright, I have this problem where I installed two different versions of swi-prolog.

I manually installed swi-prolog (swipl) version 5.10.4 from a tar-file, which I see now is a stupid thing. (I can't remember why I did this exactly, but that is besides the point.)

Then I wanted to get the newest version of prolog, so I followed these steps:

sudo apt-add-repository ppa:swi-prolog/stable
sudo apt-get update
sudo apt-get install swi-prolog

Now if I do

swipl --version

I get

SWI-Prolog version 5.10.4 for x86_64-linux

And if I do

/usr/bin/swipl --version

I get

SWI-Prolog version 6.4.1 for amd64

I only want the 6.4.1 version on my computer.

I searched the internet for hours, but I couldn't find out how to solve the problem. (Maybe I've been searching for the wrong terms/tags, I don't know..)

So, I found out that the 5.10.4 version can be found at /usr/local/bin/ whereas the 6.4.1 version is at /usr/bin/. Can't I just rm the 5.10.4 version from /usr/local/bin/ then? Or is that not clean, e.g. does it leave obsolete files somewhere on disk?

I just deleted the file swipl at /usr/local/bin/swipl with the rm-command.
Now I get the 6.4.1 version whenever I call swipl, but I still wonder if this is a good solution.

The output of type swipl is swipl is /usr/local/bin/swipl and the output of dpkg -S $(type swipl | awk '{print $3}') is dpkg-query: no path found matching pattern /usr/local/bin/swipl.

I untarred the .tar-file and I ran make from the source (src folder) that was in the .tar-file. Then installed the program using sudo make install.

Best Answer

To uninstall software installed with sudo make install the best way to remove them is using sudo make uninstall.

Related Question