diff options
Diffstat (limited to '')
-rw-r--r-- | isabelle-dump/build.rs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/isabelle-dump/build.rs b/isabelle-dump/build.rs new file mode 100644 index 0000000..b11761d --- /dev/null +++ b/isabelle-dump/build.rs @@ -0,0 +1,13 @@ +use cfgrammar::yacc::YaccKind; +use lrlex::LexerBuilder; +use lrpar::{CTParserBuilder}; + +fn main() -> Result<(), Box<dyn std::error::Error>> { + let lex_rule_ids_map = CTParserBuilder::new() + .yacckind(YaccKind::Grmtools) + .process_file_in_src("calc.y")?; + LexerBuilder::new() + .rule_ids_map(lex_rule_ids_map) + .process_file_in_src("calc.l")?; + Ok(()) +} |