lean2/library/hott/Makefile

2 lines
48 B
Makefile

include ../Makefile.common
LEAN_OPTIONS+=--hott