Hi all, On 05/03/2012 07:52 PM, John Harrison wrote: > It can be a pain getting the right camlp5 support set > up, so you might want to just stick with OCaml 3.0.9 unless you have a > compelling reason to upgrade.
I also experienced these problems recently. Some versions of camlp5 are not supported by HOL Light, and you also have to compile with the right options. Even worse, some distributions even ship packages of ocaml/camlp5 that are incompatible to each other. My solution was to build everything from sources, which makes me independent from distro packaging issues. I automated all this in a little script, which is very convenient if I quickly have to get HOL Light up and running on a new machine. For anyone suffering these issues, here is my script (for linux). https://bitbucket.org/akrauss/hol-light-workbench/ Of course now you need the build dependencies for ocaml (gcc etc.), but this is usually easy to get from your distribution... Comments and patches are of course welcome... Alex ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
