Hi all, I have a problem installing HOL 4, which is puzzling me. It would be great if someone had a idea how to help me.
I wanted to update my HOL 4 installation. I had an old PolyML installed and got the error message that at least version 5.5.1 is needed. So, I installed the latest version 5.6 and then ran poly < tools/smart-configure.sml I got a strange error message. I also tried with versions 5.5.2, 5.5.1 with same effect: ----------------------------------------------------- Poly/ML 5.5.1 Release HOL smart configuration. Determining configuration parameters: holdir OS poly polymllibdir OS: linux poly: /usr/local/bin/poly polyc: /usr/local/bin/polyc polymllibdir: /usr/local/lib holdir: /home/thtuerk/HOL DOT_PATH: /usr/bin/dot Configuration will begin with above values. If they are wrong press Control-C. Will continue in 1 seconds. Loading system specific functions Compiling system specific functions (sml) Beginning configuration. Making mllex Making mlyacc The exported object file has version 5.51 but this library supports 5.10-5.50 Failed to make mlyacc ----------------------------------------------------- Does anyone have an idea library this error message is about? I briefly started debugging, but have not put much time into it yet? Has anyone encountered this problem before. Best Thomas Tuerk ------------------------------------------------------------------------------ Mobile security can be enabling, not merely restricting. Employees who bring their own devices (BYOD) to work are irked by the imposition of MDM restrictions. Mobile Device Manager Plus allows you to control only the apps on BYO-devices by containerizing them, leaving personal data untouched! https://ad.doubleclick.net/ddm/clk/304595813;131938128;j _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
