don't use bison to build elrond parser

runtimeverification · Oct 24, 2023 · 4b45a2f · 4b45a2f
1 parent 85d97ad
commit 4b45a2f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/k-distribution/tests/profiling/elrond-semantics/Makefile b/k-distribution/tests/profiling/elrond-semantics/Makefile
@@ -4,6 +4,6 @@ ITER=1
 TESTDIR=.
 KOMPILE_BACKEND=llvm
 BENCHMARK_NAME=ELROND-SEMANTICS
-KOMPILE_FLAGS=--main-module MANDOS --syntax-module MANDOS-SYNTAX
+KOMPILE_FLAGS=--main-module MANDOS --syntax-module MANDOS-SYNTAX --jit-parser
 
 include ../kprofiling.mak