#!/bin/bash set +e cd /tmp echo "=== GMP with -std=gnu89 ===" rm -rf g5 && mkdir g5 && tar -xJf /tmp/gmp-6.3.0.tar.xz -C g5 cd g5/gmp-6.3.0 CFLAGS="-std=gnu89 -O2" ./configure --prefix=/usr --build=x86_64-unknown-linux-gnu --enable-cxx > /tmp/g5.log 2>&1 echo "GNU89_RC=$?" tail -2 /tmp/g5.log echo "=== GMP with -std=gnu17 ===" cd /tmp && rm -rf g6 && mkdir g6 && tar -xJf /tmp/gmp-6.3.0.tar.xz -C g6 cd g6/gmp-6.3.0 CFLAGS="-std=gnu17 -O2" ./configure --prefix=/usr --build=x86_64-unknown-linux-gnu --enable-cxx > /tmp/g6.log 2>&1 echo "GNU17_RC=$?" tail -2 /tmp/g6.log