configure script is unable to locate NTL

[anonymous]

passing the configure script --with-ntl=/path/to/file it still cannot find NTL and I have tried with multiple versions including from the 5.0 tree and the 10.0 tree. It appears that NTL_HOME_PATH is not getting set correctly during the check, so then when the script goes to check if it's there, it looks in the wrong location. I was able to fix it by hard coding NTL_HOME_PATH=/path/to/file in the configure script. After that it returns that it found NTL.