[PPL-devel] Complexity of remove_dimensions

[Roberto Bagnara]

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

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it