pretend that all versions of BSD are Linux, which might actually work due to binary compatibilty mode of these obsolete platforms;
authorwenzelm
Thu May 12 16:00:48 2011 +0200 (2011-05-12)
changeset 4271645eb6829dde2
parent 42715 fe8ee8099b47
child 42717 0bbb56867091
pretend that all versions of BSD are Linux, which might actually work due to binary compatibilty mode of these obsolete platforms;
lib/scripts/isabelle-platform
     1.1 --- a/lib/scripts/isabelle-platform	Thu May 12 11:03:48 2011 +0200
     1.2 +++ b/lib/scripts/isabelle-platform	Thu May 12 16:00:48 2011 +0200
     1.3 @@ -57,10 +57,10 @@
     1.4          ;;
     1.5      esac
     1.6      ;;
     1.7 -  FreeBSD|NetBSD)
     1.8 +  *BSD)
     1.9      case $(uname -m) in
    1.10        i?86 | x86_64)
    1.11 -        ISABELLE_PLATFORM=x86-bsd
    1.12 +        ISABELLE_PLATFORM=x86-linux
    1.13          ;;
    1.14      esac
    1.15      ;;