Skip to main content

Browse the archive

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 
Merge pull request #143 from mrhaandi/sbtm2
 
Simple Binary Turing Machines (2) RFC
2 parent s 4695d58 + a2711ba
Raw File
Makefile 
all:
	export TIMED
	@+$(MAKE) -C theories all

force Makefile: ;

%: force
	@+$(MAKE) -C theories $@

.PHONY: all force
back to top