Skip to main content

Browse the archive

Revision f5fbc4eb1184ad2f354c286a87aef33f53ec06f6 authored by Pierre Roux on 19 March 2022, 20:26:51 UTC, committed by Andres Erbsen on 20 March 2022, 20:24:54 UTC 
Adapt to coq/coq#15754
1 parent 60180c1
Raw File
Makefile.coqflags 
.PHONY: all print_coqc
-include Makefile.coq.conf
print_coqc:
	@printf "%s %s\n" "$(COQMF_COQLIBS)" "$(COQMF_OTHERFLAGS)"
back to top