https://github.com/JasonGross/coq-tools
Tip revision: 26f97680caa069f129830fcd7b5e44c8dc22b74b authored by Jason Gross on 09 April 2022, 12:33:46 UTC
Add MacOS CI
Add MacOS CI
Tip revision: 26f9768
Makefile
has-all-tests check::
$(MAKE) -C examples $@
.PHONY: has-all-tests check
PYTHON3?=python3
DOCTEST_FILES := \
import_util.py \
#
.PHONY: doctests
doctests::
$(PYTHON3) $(DOCTEST_FILES)