On 08/02/13 10:43, Michael Norrish wrote: > On 08/02/13 09:09, Ramana Kumar wrote: >> There is a polyml package in the Ubuntu package repositories, but I think it >> is >> probably quite old (around version 5.2). Still, it would be usable. > > Unfortunately, Kananaskis-8, as released, doesn't work with polyml5.2. > > I'd recommend upgrading to a more recent version of Poly/ML. > > Alternatively, get a current version of HOL from github.
There is another problem with the polyml5.2 that you can install through Ubuntu's packaging system: it doesn't create a libpolyml.so link in /usr/lib, only versioned versions of the same (i.e., libpolyml.so.1, which is a link to libpolyml.so.1.0.1). This will prevent HOL from working (at least at the moment), because HOL wants to link with -lpoly, and this doesn't work without a libpolyml.so file in /usr/lib. There's a pretty easy fix for this problem: just sudo ln -s /usr/lib/libpolyml.so.1 /usr/lib/libpolyml.so Michael
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Free Next-Gen Firewall Hardware Offer Buy your Sophos next-gen firewall before the end March 2013 and get the hardware for free! Learn more. http://p.sf.net/sfu/sophos-d2d-feb
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
