Skip to content

Commit d878b5d

Browse files
Use Maven to compile all regression test sources upfront (Make)
This commit adds the Make integration to call Maven to compile the test sources.
1 parent db2f7b5 commit d878b5d

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

jbmc/regression/Makefile

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ DIRS = janalyzer \
1616
# Run all test directories in sequence
1717
.PHONY: test
1818
test:
19+
mvn --quiet clean package -T1C
1920
@for dir in $(DIRS); do \
2021
$(MAKE) "$$dir" || exit 1; \
2122
done;
@@ -30,6 +31,7 @@ $(DIRS):
3031
.PHONY: test-parallel
3132
.NOTPARALLEL: test-parallel
3233
test-parallel:
34+
mvn --quiet clean package -T1C
3335
@echo "Building with $(JOBS) jobs"
3436
parallel \
3537
--halt soon,fail=1 \
@@ -43,6 +45,7 @@ test-parallel:
4345

4446
.PHONY: clean
4547
clean:
48+
mvn --quiet clean -T1C
4649
@for dir in *; do \
4750
if [ -d "$$dir" ]; then \
4851
$(MAKE) -C "$$dir" clean; \

0 commit comments

Comments
 (0)