PLATFORM="irix64"
CC="cc"
CXX="CC"
MAKE="gmake -j 20"

# Write entries into the cache file before building cmake.
write_cache()
{
cat > CMakeCache.txt <<EOF
BUILD_TESTING:BOOL=ON
CMAKE_VERBOSE_MAKEFILE:BOOL=TRUE
EOF
}