Can anyone help me with building HOL light? I get the following when I run make:
File "pa_j.ml", line 1918, characters 35-43: While expanding quotation "str_item": Parse error: antiquot "_" or antiquot "" or [ident] expected after 'type' (in [str_item]) Error while running external preprocessor Command line: camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo 'pa_j.ml' > /var/folders/8_/t3z32dh14tzfb_4lvdq8q5fr0000gn/T/ocamlppbd42df I am using ocaml version 4.01.0 and camlp5 version 6.11 and svn rev 174 of the HOL light source. Regards, Rob. ------------------------------------------------------------------------------ October Webinars: Code for Performance Free Intel webinars can help you accelerate application performance. Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from the latest Intel processors and coprocessors. See abstracts and register > http://pubads.g.doubleclick.net/gampad/clk?id=60134071&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
