Skip to content

Commit

Permalink
Add dependencies in test/Makefile
Browse files Browse the repository at this point in the history
to be stable for multithreaded make. `clean`ing before running tests
seems unnecessary and would also not be stable for multithreaded make.
  • Loading branch information
naucke authored and jespercockx committed Nov 29, 2023
1 parent e731d27 commit 32cdc89
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions test/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@

ROOT=$(shell cd ..; pwd)/

default : clean alltests cubicaltests fail compare
default : alltests cubicaltests fail compare

clean :
@rm -rf build/*
Expand All @@ -20,7 +20,7 @@ cubicaltests :
@echo == Running ghc ==
@(cd build; ghc -fno-code CubicalTests.hs)

compare :
compare : fail
@echo == Comparing output ==
@diff -r build golden

Expand All @@ -29,7 +29,7 @@ fail : print-fail $(patsubst Fail/%.agda,build/%.err,$(wildcard Fail/*.agda))
print-fail :
@echo == Failing tests ==

build/%.err : Fail/%.agda force-recompile
build/%.err : Fail/%.agda force-recompile alltests
@echo Compiling $<
@(./agda2hs $< -o build -v0 && echo "UNEXPECTED SUCCESS" || true) | sed -e 's:'$(ROOT)'::g' > $@

Expand Down

0 comments on commit 32cdc89

Please sign in to comment.