Marko, as Ramana said, you're having a ocaml/campl5 problem. You didn't say which HOL Light version you're using. I reccommend the latest subversion. That might fix the problem. If not, read John Harrison's post http://sourceforge.net/mailarchive/message.php?msg_id=29268458 You didn't say which OS you're using. I'm using Scientific Linux, and John changed the makefile to use pa_j_3.1x_6.02.2.ml John also recommended Alex Krauss's script https://bitbucket.org/akrauss/hol-light-workbench/
-- Best, Bill ------------------------------------------------------------------------------ Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS, MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft MVPs and experts. ON SALE this month only -- learn more at: http://p.sf.net/sfu/learnnow-d2d _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
