https://github.com/JasonGross/coq-tools
Tip revision: a47ed37e05cc2f848d43cb70a627db5c518ba0c0 authored by Jason Gross on 12 July 2022, 18:21:59 UTC
Remove path sensitivity in traceback output, test 12
Remove path sensitivity in traceback output, test 12
Tip revision: a47ed37
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)
