[isabelle] Installation problem



Hello,

I try to install Isabelle on my linux machine and I have this error message:
Build started for Isabelle/HOL ...
Building Pure ...
poly: heapsizing.cpp:606: bool HeapSizeParameters::getCostAndSize(POLYUNSIGNED&, double&, bool): Assertion `sizeMin >= minHeapSize && sizeMin <= maxHeapSize' failed. /home/antoine/Documents/stage/isabelle/Isabelle2013/lib/scripts/run-polyml : ligne 77 : 16932 Abandon "$POLY" -q $ML_OPTIONS
Pure FAILED

Thank you.
Antoine Grospellier.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.