securesystemslab/multicompiler
cmake/config-ix.cmake
:136
check_library_exists(crypto AES_ctr128_encrypt "" HAVE_CRYPTO)
check_library_exists(crypto AES_ctr128_encrypt "" HAVE_CRYPTO)