diff options
author | David Li <li.davidm96@gmail.com> | 2017-11-03 23:37:17 -0400 |
---|---|---|
committer | David Li <li.davidm96@gmail.com> | 2017-11-03 23:37:37 -0400 |
commit | d5b0224a398810a2e34713d72c6710f4f54df420 (patch) | |
tree | f56bf6cd72292bfab30f2bcd75e41c921fe089fd /build.rs | |
parent | 169870428a9074d2429e6ec3dac64e84bb0392e3 (diff) |
Switch to lalrpop for parsing/lexing
Diffstat (limited to 'build.rs')
-rw-r--r-- | build.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build.rs b/build.rs new file mode 100644 index 0000000..23c7d3f --- /dev/null +++ b/build.rs @@ -0,0 +1,5 @@ +extern crate lalrpop; + +fn main() { + lalrpop::process_root().unwrap(); +} |