https://github.com/uds-psl/coq-library-undecidability
Revision 4115398f10c42a41833036f8c4500f24233cc9a7 authored by Dominique Larchey-Wendling on 01 May 2021, 09:38:37 UTC, committed by Dominique Larchey-Wendling on 01 May 2021, 09:38:37 UTC
1 parent 0235107
Raw File
Tip revision: 4115398f10c42a41833036f8c4500f24233cc9a7 authored by Dominique Larchey-Wendling on 01 May 2021, 09:38:37 UTC
insist of coq-8.13
Tip revision: 4115398
Makefile
all:
	export TIMED
	@+$(MAKE) -C theories all

force Makefile: ;

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

.PHONY: all force
back to top