Где найти «gmp.h»?

Я устанавливаю библиотеку и получил следующее сообщение об ошибке:

xxxx@ubuntu$ make
(cd num; make all)
make[1]: Entering directory `/home/xxxx/num'
make[1]: Nothing to be done for `all'.
make[1]: Leaving directory `/home/xxxx/num'
(cd itv; make all)
make[1]: Entering directory `/home/xxxx/itv'
gcc -Wcast-qual -Wswitch -Werror-implicit-function-declaration -Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes -Wno-unused -std=c99 -U__STRICT_ANSI__ -O3 -DNDEBUG -I../num -I../apron -I/usr/include -I/usr/include -DNUM_MPQ -c -o itvMPQ.o itv.c
In file included from itv.h:9:0,
             from itv.c:5:
../num/num.h:15:17: fatal error: gmp.h: No such file or directory
compilation terminated.
make[1]: *** [itvMPQ.o] Error 1
make[1]: Leaving directory `/home/xxxx/itv'
make: *** [c] Error 2

Поэтому проблема в том, что она не может найти gmp.h , кто-нибудь знает, где находится этот файл, и как его найти установщиком? По пути, на данный момент мой Makefile точки в основном к /usr и /usr/local ...

Edit1 : После установки libgmp3-dev , как предложено, текущее сообщение об ошибке: ../num/num.h:16:18: неустранимая ошибка: mpfr.h: Нет такого файла или каталога , кто-нибудь знает, о каком пакете идет речь?

Edit2 : Я установил MPFR , следуя этой странице , и это помогло, теперь сообщение об ошибке gmp _ caml.c:17:33: неустранимая ошибка: caml/camlidluntime.h: Нет такого файла или каталога , может ли кто-нибудь помочь?

Edit3 : Я выполнил apt-file search camlidluntime и возвращает camlidl: / usr/lib/ocaml/caml/camlidlruntime.h , но нет camlidlruntime.h в моей папке /usr/lib/ocaml/caml/, как я мог проверить, установлен ли dev пакета MPFR ? и о каком именно пакете идет речь?

-121--653685-

Этот вопрос должен был быть задан раньше, но я думаю, что поисковые термины являются слишком общими для меня, чтобы найти ответ, который я ищу, поэтому я спрошу его снова.

У меня есть модель со свойством int и аннотацией диапазона.

Если пользователь вводит что-то, отличное от int, сообщение проверки подлинности отвечает Значение «» «» недопустимо для «» «» ... что является большим, но я хочу предоставить немного больше обратной связи, то есть Ожидая целое значение в этом поле. .

Поскольку эта проверка не проходит до того, как другие средства проверки посмотрят, я не знаю, как (или если это возможно) переопределить для этого сообщение средства проверки по умолчанию.

Каковы мои параметры?

по запросу, я размещаю код, но его не так много:

[Range(0,65535, ErrorMessage="Port must be between 0 and 65535.")] 
public int Port { get; set; }

Существует проверка, которая происходит до того, как он достигнет RireAttribute. Я хочу заменить сообщение по умолчанию на сообщение по собственному выбору.