| # gcc-version [-p] gcc-command |
| # Prints the gcc version of `gcc-command' in a canonical 4-digit form |
| # such as `0295' for gcc-2.95, `0303' for gcc-3.3, etc. |
| # With the -p option, prints the patchlevel as well, for example `029503' for |
| # gcc-2.95.3, `030301' for gcc-3.3.1, etc. |
| if [[ $1 = "-p" ]] ; then with_patchlevel=1; shift; fi |
| if [ ${#compiler} -eq 0 ]; then |
| echo "Error: No compiler specified." |
| echo -e "Usage:\n\t$0 <gcc-command>" |
| MAJOR=$(echo __GNUC__ | $compiler -E -xc - | tail -n 1) |
| MINOR=$(echo __GNUC_MINOR__ | $compiler -E -xc - | tail -n 1) |
| if [ "x$with_patchlevel" != "x" ] ; then |
| PATCHLEVEL=$(echo __GNUC_PATCHLEVEL__ | $compiler -E -xc - | tail -n 1) |
| printf "%02d%02d%02d\\n" $MAJOR $MINOR $PATCHLEVEL |
| printf "%02d%02d\\n" $MAJOR $MINOR |