discontinued rudiments of BSD support;
authorwenzelm
Sat Sep 30 19:49:13 2017 +0200 (20 months ago)
changeset 66731fe2a6ec20b4d
parent 66730 e76850a09a12
child 66732 e566fb4d43d4
discontinued rudiments of BSD support;
tuned comments;
lib/scripts/isabelle-platform
     1.1 --- a/lib/scripts/isabelle-platform	Sat Sep 30 18:53:38 2017 +0200
     1.2 +++ b/lib/scripts/isabelle-platform	Sat Sep 30 19:49:13 2017 +0200
     1.3 @@ -1,8 +1,7 @@
     1.4  # -*- shell-script -*- :mode=shellscript:
     1.5  #
     1.6 -# determine general hardware and operating system type for Isabelle
     1.7 +# determine general hardware and operating system type for Isabelle system tools
     1.8  #
     1.9 -# NOTE: The ML system or JVM may have their own idea about the platform!
    1.10  
    1.11  ISABELLE_PLATFORM_FAMILY=""
    1.12  ISABELLE_PLATFORM32=""
    1.13 @@ -55,14 +54,6 @@
    1.14          ;;
    1.15      esac
    1.16      ;;
    1.17 -  *BSD)
    1.18 -    ISABELLE_PLATFORM_FAMILY="linux"
    1.19 -    case $(uname -m) in
    1.20 -      i?86 | x86_64)
    1.21 -        ISABELLE_PLATFORM32=x86-linux  #cf. BSD Linux Binary Compatibility
    1.22 -        ;;
    1.23 -    esac
    1.24 -    ;;
    1.25  esac
    1.26  
    1.27  ISABELLE_PLATFORM="${ISABELLE_PLATFORM32:-$ISABELLE_PLATFORM64}"