fix(library/hott/Makefile): specify LEAN_OPTION "--hott"
check point
check point