# Copyright (C) 2007 The Trustees of Princeton University
# Thierry Parmentelat <thierry.parmentelat@inria.fr> INRIA
#
-# supported distros f8, f10, f12, f14, f16, centos5, sl6
+# supported distros f12 f14 f16 f18 f20
+# and debians/ubuntus to a lesser extent
#
# for locating pkgs.py
export PATH=.:$PATH
if [ -f "/etc/redhat-release" ] ; then
distro=$(awk ' { print $1 } ' /etc/redhat-release)
case $distro in Scientific*) distro="SL" ; esac
+ elif [ -f /etc/lsb-release ] ; then
+ . /etc/lsb-release
+ echo $DISTRIB_CODENAME
elif [ -f /etc/debian_version ] ; then
- for known in lenny squeeze wheezy jessie; do
- grep -q $known /etc/os-release && distro=$known
- done
+ case $(cat /etc/debian_version) in
+ 6.*) distro=squeeze ;;
+ 7.*) distro=wheezy ;;
+ # might be that I'm getting 'jessie'sid' just because it's still testing..
+ 8.*|jessie*) distro=jessie ;;
+ *) distro=unknown.debian.in.build.common ;;
+ esac
fi
[ -z "$distro" ] && { echo "build.common.pl_getDistro-unknown"; exit 1; }
echo "$distro"
[Ss]L*)
releasename=sl$release
;;
- lenny|squeeze|wheezy|jessie)
+ squeeze|wheezy|jessie|oneiric|precise|quantal|raring|saucy)
releasename=$distro
;;
*)