remove grmtools

the parser using grmtools was way oversized for just doing escape
sequences, and only really existed since I wanted to play around with
it.

The new implementation depends on no external crates, uses just an iter
wrapped into a nicely composable function, and appears to be exactly
equivalent (but faster).

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