Revision 5a6d81edb611039e8806a01e011cdd7f85f94fda authored by Dominique Larchey-Wendling on 12 April 2022, 13:14:04 UTC, committed by GitHub on 12 April 2022, 13:14:04 UTC
Simple Binary Turing Machines (2) RFC
Makefile
all:
export TIMED
@+$(MAKE) -C theories all
force Makefile: ;
%: force
@+$(MAKE) -C theories $@
.PHONY: all force
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...