Какие пакеты мне нужно установить, чтобы использовать Makefile. Я уже установил cmake, мне нужен ocamlmakefile? Моя проблема в том, что всякий раз, когда я набираю «make» в терминале, мне говорят «make command not found».
Вам нужен GNU make.
CMake и другие программы make обычно используют другие имена файлов.