initial commit

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(())
+}