Hello Federico,
Firstly, sorry for the multiple messages on the same topic. It was not clear to me if I was sending messages to the wrong email id because my message did not appear on the board and hence I tried multiple ways to get my message across. I now understand that there is possibly a moderation queue.
Yes, now the git clone method works.
In the meantime, since git clone was not working, I ended up downloading the .tar.bz2 file to see if that would install, despite this board's recommendation to not do so. It did install.
Now that the git clone method is working, could you let me know which files I should delete from my previous .bz2 installation method so that the git clone method which I will run subsequent to that will be regarded by my system as the latest and most accurate?
In my understanding, the following are the only files that need to be removed from the old installation /usr/local/lib/libppl.a, libppl.la, libppl_c.a and libppl_c.la ?
Or is it that I should not worry about this and that the git clone method will overwrite these files and all other files in the system so that an application refers to it correctly?
Thank you. Tryer