See the INSTALL file at the LIMA root directory.