On Thu, 20 Sep 2012, Mark Wright wrote:
I bumped polyml to 5.5 in portage (as 5.5.0 since that is the version
reported by poly -v). Isabelle 2012 built fine with polyml 5.5.
Are you sure about this? Did you include the important libsha1.so that is
part of the regular Isabelle2012 distribution of Poly/ML?
You probably know already that I am very sceptical about this packaging of
Isabelle components as "native" OS packages. In so many years I've never
seen a packaging that was right, and it is getting more and more difficult
to achieve that with all the Isabelle add-ons that are now standard.
Makarius
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
