;; Building the benchmark program.

(ocamllex
  (modules lexer)
)

(menhir
  (modules parser)
  (flags --GLR)
)

(executable
  (name main)
  (libraries unix menhirGLR)
)

;; Running the benchmark program.

(rule (with-stdout-to  arith0.csv (run ./main.exe  arith0 --min-size 20 --max-size 200    --increment 1.2)))
(rule (with-stdout-to   arith.csv (run ./main.exe   arith --min-size 20 --max-size 500    --increment 1.5 --regenerate 20)))
(rule (with-stdout-to  arithr.csv (run ./main.exe  arithr --min-size 20 --max-size 1000   --increment 1.5 --regenerate 2)))
(rule (with-stdout-to  arithb.csv (run ./main.exe  arithb --min-size 20 --max-size 1000   --increment 1.5 --regenerate 2)))
(rule (with-stdout-to gamma5l.csv (run ./main.exe gamma5l --min-size 20 --max-size 100000 --increment 2)))
(rule (with-stdout-to gamma5r.csv (run ./main.exe gamma5r --min-size 20 --max-size 1000   --increment 2)))
