Bug fix: Always determine PLATFORM in configure.ac, instead of only doing it when GMP is around.
Bug fix: Always determine PLATFORM in configure.ac, instead of only doing it when GMP is around.

rowhit/HaLVM,mwotton/HaLVM,ggkitsas/HaLVM,GaloisInc/HaLVM,rowhit/HaLVM,elijah513/HaLVM,GaloisInc/HaLVM,mwotton/HaLVM,elijah513/HaLVM,mwotton/HaLVM,ggkitsas/HaLVM,thumphries/HaLVM,rowhit/HaLVM,ggkitsas/HaLVM,GaloisInc/HaLVM,elijah513/HaLVM,thumphries/HaLVM