#!/bin/sh
  #
  # 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
  
  compiler="$*"
  
  if [ ${#compiler} -eq 0 ]; then
  	echo "Error: No compiler specified."
  	printf "Usage:
  \t$0 <gcc-command>
  "
  	exit 1
  fi
  
  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\
  " $MAJOR $MINOR $PATCHLEVEL
  else
  	printf "%02d%02d\
  " $MAJOR $MINOR
  fi