Browse thread
3.10.0+beta - "Not_found" from a custom camlp4 executable (Delete.delete_rule_in_suffix)
- Aleksey Nogin
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2007-04-16 (20:20) |
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