Mario Mendez wrote:
Roberto Bagnara wrote:
Mario Mendez wrote:
The only problem I found is that the instructions do not mention the (required)
/sbin/ldconfig
command necessary to update the system in order to 'accept' PPL.
Well, this is a system-dependent thing and, moreover, something that ordinary user cannot do. Couldn't you simply define LD_LIBRARY_PATH?
No, it doesn't work that way, I just checked it again. If it helps, my Linux is Fedora Core 2
This is odd. I will check myself and let you know.
I assume SVN stands for Subversion, right? In other words is a version for internal use only: is that correct? Can you please confirm that PPL 0.7 passes `make check' on your installation?
Yep, is an internal version synchronized by Subversion; I ran the 'make check' and takes a while ;-) but it worked. The only problem is that my computer crashed shortly after the message '512 tests passed' so all the huge temporary files (tests/BD_Shape, tests/Polyhedron were deleted by hand!
If it crashed just after the message '512 tests passed' it means the Prolog interfaces were not tested. What we would like to know is whether `make check' succeeds in the interfaces/Prolog/Ciao directory. Thanks a lot,
Roberto