Colin, maybe you're getting the bug that I ran into that John fixed for me. I couldn't see your update, so can you post it here directly? Which subversion do you have? I just downloaded the latest:
svn checkout http://hol-light.googlecode.com/svn/trunk/ hol_light Checked out revision 146. The problem I had in now fixed, and `make' works fine. Comments: I can't find my original bug report, but I think it was what you cited http://code.google.com/p/hol-light/issues/detail?id=2 I get this error message from `make': File "pa_j.ml", line 195, characters 6-21: Error: The constructor PaLab expects 2 argument(s), but is applied here to 3 argument(s) Here's my last letter to John thanking him for his fix: I think the current Makefile will end up using "pa_j_3.1x_6.xx.ml" That's what happened, and that's partly because camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1 => 6 You could try manually copying one of the more recent versions then doing "make", e.g: make clean cp pa_j_3.1x_6.02.2.ml pa_j.ml make Make works fine! We take the else fork ocamlc -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I +camlp5 pa_j.ml which is obviously the one we want, and not the camlp4r fork. -- Best, Bill ------------------------------------------------------------------------------ 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 [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
