anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-10-26 17:52:17 +03:00
Code Issues Projects Releases Wiki Activity

Less verbose output from running make check (#1675)

Browse Source
This commit is contained in:
Jonathan Cubides 2022-12-22 15:28:58 +01:00 committed by GitHub
parent 9a7b3d33da
commit 5f5f12f050
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 17 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
Makefile
View File

@ -134,7 +134,7 @@ clang-format:
.PHONY: check-ormolu
check-ormolu: export ORMOLUMODE = check
check-ormolu:
make format
@make -s format
.PHONY : hlint
hlint :
@ -154,16 +154,21 @@ pre-commit :
# -- Build-Install-Test-Release
# ------------------------------------------------------------------------------
MAKEAUXFLAGS?=-s
MAKE=make ${MAKEAUXFLAGS}
STACKFLAGS?=--jobs $(THREADS)
STACKTESTFLAGS?=--ta --hide-successes --ta --ansi-tricks=false
SHELLTESTFLAGS?=--color --diff -a --hide-successes
.PHONY: check
check:
@make build
@make install
@make test
@make test-shell
@make format
@make pre-commit
@${MAKE} build
@${MAKE} install
@${MAKE} test
@${MAKE} test-shell
@${MAKE} format
@${MAKE} pre-commit
# -- Build requirements
@ -198,26 +203,26 @@ fast-install: runtime submodules
.PHONY : test
test: build
@stack test ${STACKFLAGS}
@stack test ${STACKFLAGS} ${STACKTESTFLAGS}
.PHONY : fast-test
fast-test: fast-build
@stack test --fast ${STACKFLAGS}
@stack test --fast ${STACKFLAGS} ${STACKTESTFLAGS}
.PHONY : test-skip-slow
test-skip-slow:
@stack test ${STACKFLAGS} --ta '-p "! /slow tests/"'
@stack test ${STACKFLAGS} ${STACKTESTFLAGS} --ta '-p "! /slow tests/"'
.PHONY : fast-test-skip-slow
fast-test-skip-slow:
@stack test --fast ${STACKFLAGS} --ta '-p "! /slow tests/"'
@stack test --fast ${STACKFLAGS} ${STACKTESTFLAGS} --ta '-p "! /slow tests/"'
SHELLTEST := $(shell command -v shelltest 2> /dev/null)
.PHONY : test-shell
test-shell : install
@$(if $(SHELLTEST),, stack install shelltestrunner)
shelltest --color --diff -a tests
shelltest ${SHELLTESTFLAGS} tests
# -- Release