One step is missing in the installation tutorial, which would otherwise cause 'missing: MONA_DFA_LIBRARIES'.

[ziji-wu]

In the section on ‘Install Mona', after copying these files,

sudo cp Mem/mem.h Mem/gnuc.h Mem/dlmalloc.h BDD/bdd_external.h BDD/bdd_dump.h BDD/bdd_internal.h BDD/bdd.h BDD/hash.h DFA/dfa.h GTA/gta.h config.h /usr/local/include/mona

It's also need to copy these '.a' files to the /usr/local/lib/ directory:

cp ./Mem/.libs/libmonamem.a ./BDD/.libs/libmonabdd.a ./GTA/.libs/libmonagta.a ./DFA/.libs/libmonadfa.a   /usr/local/lib/

Otherwise, the following error will occur.

CMake Error at /usr/share/cmake-3.22/Modules/FindPackageHandleStandardArgs.cmake:230 (message):
  Could NOT find mona (missing: MONA_DFA_LIBRARIES)
Call Stack (most recent call first):
  /usr/share/cmake-3.22/Modules/FindPackageHandleStandardArgs.cmake:594 (_FPHSA_FAILURE_MESSAGE)
  CMakeModules/Findmona.cmake:42 (find_package_handle_standard_args)
  CMakeModules/Findmona.cmake:61 (_find_mona_lib)
  CMakeLists.txt:32 (find_package)