X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=CMakeLists.txt;h=122d94cad70699ab332c59438abb4e52a18f2fd0;hp=86d76face6cac515d5481f8f6e5a08ac0a6d2b7a;hb=a56196f3830a5a467d79b6d7009598e7f05ba7d3;hpb=bf0d26572edecc37d98aec715e14fbd71a8c0315 diff --git a/CMakeLists.txt b/CMakeLists.txt index 86d76fac..122d94ca 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -159,6 +159,11 @@ if (READLINE_FOUND) set(HAVE_READLINE_HISTORY_H 1) endif() +find_package(LibDL) +if (LIBDL_FOUND) + set(HAVE_LIBDL 1) +endif() + find_program(MAKEINFO makeinfo) find_program(FIG2DEV fig2dev)