Makefile: allow the test level to be set in command line

This commit is contained in:
LinJiawei 2021-08-29 07:51:48 -04:00
parent 1a9a950593
commit cfd7425e6b
1 changed files with 2 additions and 1 deletions

View File

@ -22,7 +22,8 @@ berkeley-testfloat-3/build/Linux-x86_64-GCC/testfloat_gen: berkeley-testfloat-3/
TEST_FLOAT_GEN = berkeley-testfloat-3/build/Linux-x86_64-GCC/testfloat_gen
SEED ?= $(shell shuf -i 1-100000 -n 1)
TEST_FLOAT_OPTS = -tininessafter -exact -level 1 -seed $(SEED)
LEVEL ?= 1
TEST_FLOAT_OPTS = -tininessafter -exact -level $(LEVEL) -seed $(SEED)
BUILD_DIR = $(abspath ./build)
CSRC_DIR = $(abspath ./src/test/resources/csrc)
SCALA_SRC = $(shell find ./src/main/scala -name "*.scala")