Cannot find GMP version 4.1.3 or higher. centos6.7

gcc 버전을 높이기 위해 디펜던시가 걸린 패키지들을 인스톨하는 중

ppl 패키지에서 난관에 부딛혔다.

아래와 같은 메세지가 configure 메세지에서 뜨며 나를 괴롭혔다.

checking for the GMP library version 4.1.3 or above... no
configure: error: Cannot find GMP version 4.1.3 or higher.
GMP is the GNU Multi-Precision library:
see http://www.swox.com/gmp/ for more information.
When compiling the GMP library, do not forget to enable the C++ interface:
add --enable-cxx to the configuration options.

GMP버전은 이미 4.1.3을 넘었지만 똑같은 문구만 반복된다.

삽질과 구글링을 해본결과

configure 실행시 깔린곳의 library와 include를 옵션으로 지정하여 문제를 해결하였다.

[solution]
1. (gmp라이브러리는 --enable-cxx 옵션을 첨부하여 install한다. 이 부분도 솔루션에 포함되는지 않되는지는 확인해봐야 함)
2. $ ./configure --with-gmp-include=/usr/local/include/ --with-gmp-lib=/usr/local/lib