mingw: fix Ubuntu 13.10 / Debian Wheezy mingw mess
[olsrd.git] / make / getmingwversion.bash
1 #!/bin/bash
2
3 if [ ! $# -eq 1 ]; then
4   echo "ERROR: specify 1 argument: the mingw gcc"
5   exit 1
6 fi
7
8 GCC="$1"
9 if [ ! -x "$GCC" ]; then
10   GCC="$(which "$GCC" | head -1)"
11   if [ ! -x "$GCC" ]; then
12     echo "ERROR: the mingw gcc ($GCC) is not executable"
13     exit 1
14   fi
15 fi
16
17 versions=( $("$GCC" -dumpversion | sed -r -e "s/\./ /g") )
18 while [ ${#versions[*]} -lt 3 ]; do \
19   versions[${#versions[*]}]="0"; \
20 done
21 if [ ${#versions[*]} -ne 3 ]; then
22   echo "WARNING: could not detect the mingw gcc version, setting to 0.0.0"
23   versions=( 0 0 0 )
24 fi
25
26 # Ubuntu 13.10 and Debian Wheezy both report mingw 4.6.
27 # - Debian Wheezy needs the old setup for 64 bits and the new setup for 32 bits.
28 # - Ubuntu 13.10 needs the new setup for both 32 bits and 64 bits.
29 # --> We decrement the version to 4.5 for Debian Wheezy 64 bits
30 if [ "${versions[0]}" == "4" ] && \
31    [ "${versions[1]}" == "6" ] && \
32    [ "${versions[2]}" == "0" ]; then
33   detectDist="$(uname -a | grep -i debian)"
34   detectArch="$("$GCC" -dumpmachine | grep -i x86_64)"
35   if [ -n "$detectDist" ] && \
36      [ -n "$detectArch" ]; then
37     versions[1]=5
38   fi
39 fi
40
41 version=$(( versions[0]*10000 + versions[1]*100 + versions[2] ))
42 echo "$version"