Hello,
see my reply below.
On 24/01/25 14:40, wundermonk@gmail.com wrote:
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.
No problem. Yes, there is a moderation queue to eliminate spam.
Yes, now the git clone method works.
Great.
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?
I guess you did something like ./configure [...] make make install
From what you write, I gather that either
1) you did specify, among the configure options, --prefix=/usr/local, or 2) you did not specify any --prefix options, so you have installed to the default directory, which is, again, /usr/local
Then the easiest thing, if you still have the build directory is to do
make uninstall
and this will delete all and only the files installed with `make install'.
In case you no longer have the build directory, then you can obtain the list of files installed by your original `make install' as follows:
../configure [...] --prefix=/tmp/blah make make install ls -R /tmp/blah
Note that you should substitute the [...] above with the configure options you used in the first place, with the exception of --prefix=DIR, if case (1) above applies.
Please let us know how it goes.