Pure source code reguires GMP but configure script does not

GoogleCodeExporter commented 8 years ago

What steps will reproduce the problem?
1. Don't install GMP
2. Run Pure's ./configure (it will pass without any problem)
3. Run `make`... we got errors about missing gmp.h and so on.

What is the expected output? What do you see instead?

   ./configure should report that GMP was NOT found and refuse to proceed.

Alternatively Pure should make GMP optional and build without it.

What version of the product are you using? On what operating system?

SVN version of Pure, Mac OS X 10.6.3 64-bit.

Please provide any additional information below.

Original issue reported on code.google.com by i...@nanoant.com on 14 Apr 2010 at 3:11

GoogleCodeExporter commented 8 years ago

This issue was closed by revision r3367.

Original comment by aggraef@gmail.com on 17 Apr 2010 at 11:54

Changed state: Fixed

GoogleCodeExporter commented 8 years ago

Fixed in r3367. Please verify.

Original comment by aggraef@gmail.com on 17 Apr 2010 at 11:56

hughperman / pure-lang

Pure source code reguires GMP but configure script does not #27