cleanup

[build.git] / build.common

diff --git a/build.common b/build.common
index 74943aa..268eaa7 100644 (file)
--- a/build.common
+++ b/build.common
@@ -7,7 +7,8 @@
 # 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
@@ -17,10 +18,13 @@ function pl_getDistro() {
     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
        case $(cat /etc/debian_version) in
-           6.0.6) distro=squeeze ;;
-           7.0)   distro=wheezy  ;;
+           6.*) distro=squeeze ;;
+           7.*)   distro=wheezy  ;;
            *)     distro=unknown.debian.in.build.common ;;
        esac
     fi
@@ -60,7 +64,7 @@ function pl_getReleaseName () {
        [Ss]L*)
            releasename=sl$release
            ;;
-       squeeze|wheezy|oneiric|quantal)
+       squeeze|wheezy|oneiric|precise|quantal|raring|saucy)
            releasename=$distro
            ;;
        *)