summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGreg Brown <gmb60@cam.ac.uk>2021-02-06 13:43:34 +0000
committerGreg Brown <gmb60@cam.ac.uk>2021-02-06 13:43:34 +0000
commitc24c0b0955116928c75db404f431ea845bec0602 (patch)
treee3c4a0a9c2b834d808d56b9d5a319c15663efe32
parent51ec48e03b2e02be02ccb9826b4638d312df67b4 (diff)
Add `lalrpop` infrastructure.
-rw-r--r--chomp-bench/Cargo.toml7
-rw-r--r--chomp-bench/build.rs3
2 files changed, 9 insertions, 1 deletions
diff --git a/chomp-bench/Cargo.toml b/chomp-bench/Cargo.toml
index 3d62434..5fbd851 100644
--- a/chomp-bench/Cargo.toml
+++ b/chomp-bench/Cargo.toml
@@ -7,9 +7,14 @@ edition = "2018"
[dependencies]
chewed = {path = "../chewed"}
chomp-macro = {path = "../chomp-macro"}
+lalrpop-util = "0.19.4"
+regex = "1.4.3"
[dev-dependencies]
-criterion = "0.3.3"
+criterion = "0.3.4"
+
+[build-dependencies]
+lalrpop = "0.19.4"
[[bench]]
name = "json"
diff --git a/chomp-bench/build.rs b/chomp-bench/build.rs
new file mode 100644
index 0000000..ca5c283
--- /dev/null
+++ b/chomp-bench/build.rs
@@ -0,0 +1,3 @@
+fn main() {
+ lalrpop::process_root().unwrap();
+}