cmake HAVE_CRYPTO examples

securesystemslab/multicompiler cmake/config-ix.cmake :136

check_library_exists(crypto AES_ctr128_encrypt "" HAVE_CRYPTO)