Version française
Home     About     Download     Resources     Contact us    
Browse thread
3.10.0+beta - "Not_found" from a custom camlp4 executable (Delete.delete_rule_in_suffix)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Aleksey Nogin <nogin@m...>
Subject: 3.10.0+beta - "Not_found" from a custom camlp4 executable (Delete.delete_rule_in_suffix)
I am trying to figure out how to use the new camlp4 (so that I can have 
some hope of migrating our MetaPRL Theorem Prover - http://metaprl.org/ 
to it). I thought that I'd start with something simple - port our local 
mods to pa_macro (now Camlp4MacroParser).

First, I tried making sure I know how to build and link the thing. 
Compiling an unmodified Camlp4MacroParser was not a problem, but then I 
got the following:

% ocamlc -g -thread -I -custom -o macroprint unix.cma threads.cma 
camlp4/camlp4lib.cma camlp4/Camlp4Printers/Camlp4OCamlPrinter.cmo 
camlp4/Camlp4Parsers/Camlp4OCamlParser.cmo Camlp4MacroParser.cmo 
camlp4/Camlp4Filters/Camlp4TrashRemover.cmo camlp4/Camlp4Bin.cmo -linkall

% ./macroprint
Camlp4: Uncaught exception: Not_found

ocamldebug revealed that the Not_found is being raised from the 
Delete.delete_rule_in_suffix function.

What am I doing wrong?

TIA for any help!

Aleksey