You've already forked RecordFlux-devutils
mirror of
https://github.com/AdaCore/RecordFlux-devutils.git
synced 2026-02-12 13:10:44 -08:00
42 lines
865 B
Makefile
42 lines
865 B
Makefile
include Makefile.common
|
|
|
|
.DEFAULT_GOAL := all
|
|
|
|
VERBOSE ?= @
|
|
SHELL = /bin/bash -o pipefail
|
|
PYTEST = python3 -m pytest -vv
|
|
|
|
PYTHON_PACKAGES := devutils tests
|
|
|
|
.PHONY: all
|
|
|
|
all: check test
|
|
|
|
.PHONY: install install_devel install_devel_edge test test_devutils test_linux
|
|
|
|
test: test_devutils test_linux
|
|
|
|
test_devutils:
|
|
$(PYTEST) --cov --cov-branch --cov-fail-under=100 tests
|
|
|
|
test_linux:
|
|
./linux/run $(PWD) true; test $$? -eq 0
|
|
./linux/run $(PWD) false; test $$? -eq 1
|
|
./linux/run $(PWD) does_not_exist; test $$? -eq 127
|
|
./linux/run $(PWD) exit 42; test $$? -eq 42
|
|
./linux/run $(PWD) echo EXPECTED_RESULT | grep EXPECTED_RESULT
|
|
|
|
install:
|
|
pip3 install --force-reinstall .
|
|
|
|
install_devel:
|
|
pip3 install ".[devel]"
|
|
|
|
install_devel_edge: install_devel
|
|
tools/upgrade_dependencies.py
|
|
|
|
.PHONY: clean
|
|
|
|
clean:
|
|
rm -rf .coverage .mypy_cache .pytest_cache .ruff_cache build
|