Сбой конфигурации zkcm, не могу найти gmpxx.h
Я пытаюсь запустить zkcm в моей системе (Mac OS X 10.11.3). Я установил gmp просто отлично (используя ./configure --prefix=/usr/local --enable-cxx), и mpfr легко устанавливается после того, как я сказал ему, где найти gmp (/usr/local/include).
Однако zkcm не так просто установить. Он также может найти файл gmp.h (используя ./configure --with-gmp-include=/usr/local/include), но даже если я вижу, что gmpxx.h прямо здесь, конфигурация завершается неудачно с
checking /usr/local/include/gmp.h usability... yes
checking /usr/local/include/gmp.h presence... yes
checking for /usr/local/include/gmp.h... yes
checking /usr/local/include/gmpxx.h usability... no
checking /usr/local/include/gmpxx.h presence... no
checking for /usr/local/include/gmpxx.h... no
configure: error: not found.
Я не уверен, в чем проблема. Я пытался переустановить gmp несколько раз, но безрезультатно.
Я прошел через другие подобные вопросы, но я мог только найти информацию, направляющую меня к тому, что я уже сделал. Я использую последние библиотеки для всех трех. Как правильно направить zkcm на gmpxx.h?
редактировать
Весь текст config.log с "gmpxx.h":
configure:3331: checking /usr/local/include/gmpxx.h usability
configure:3331: g++ -c -g -O2 conftest.cpp >&5
In file included from conftest.cpp:53:
/usr/local/include/gmpxx.h:43:10: error: 'gmp.h' file not found with <angled> include; use "quotes" instead
#include <gmp.h>
^~~~~~~
"gmp.h"
1 error generated.
configure:3331: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE__USR_LOCAL_INCLUDE_GMP_H 1
| /* end confdefs.h. */
| #include </usr/local/include/gmpxx.h>
configure:3331: result: no
configure:3331: checking for /usr/local/include/gmpxx.h
configure:3331: result: no
configure:3338: error: not found.