diff options
Diffstat (limited to '')
-rw-r--r-- | isabelle-dump/build.rs | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/isabelle-dump/build.rs b/isabelle-dump/build.rs deleted file mode 100644 index b11761d..0000000 --- a/isabelle-dump/build.rs +++ /dev/null @@ -1,13 +0,0 @@ -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(()) -} |