lib/scripts/isabelle-platform
changeset 36213 4df49260bd82
parent 36196 cbb9ee265cdd
child 37012 106c56e916f8
     1.1 --- a/lib/scripts/isabelle-platform	Tue Apr 20 11:26:25 2010 +0200
     1.2 +++ b/lib/scripts/isabelle-platform	Tue Apr 20 11:31:14 2010 +0200
     1.3 @@ -26,6 +26,10 @@
     1.4            ISABELLE_PLATFORM64=x86_64-darwin
     1.5          fi
     1.6          ;;
     1.7 +      x86_64)
     1.8 +        ISABELLE_PLATFORM=x86-darwin
     1.9 +        ISABELLE_PLATFORM64=x86_64-darwin
    1.10 +        ;;
    1.11        Power* | power* | ppc)
    1.12          ISABELLE_PLATFORM=ppc-darwin
    1.13          ;;
    1.14 @@ -33,7 +37,7 @@
    1.15      ;;
    1.16    CYGWIN_NT*)
    1.17      case $(uname -m) in
    1.18 -      i?86)
    1.19 +      i?86 | x86_64)
    1.20          ISABELLE_PLATFORM=x86-cygwin
    1.21          ;;
    1.22      esac
    1.23 @@ -45,7 +49,7 @@
    1.24            sparc)
    1.25              ISABELLE_PLATFORM=sparc-solaris
    1.26              ;;
    1.27 -          i?86)
    1.28 +          i?86 | x86_64)
    1.29              ISABELLE_PLATFORM=x86-solaris
    1.30              ;;
    1.31          esac
    1.32 @@ -54,7 +58,7 @@
    1.33      ;;
    1.34    FreeBSD|NetBSD)
    1.35      case $(uname -m) in
    1.36 -      i?86)
    1.37 +      i?86 | x86_64)
    1.38          ISABELLE_PLATFORM=x86-bsd
    1.39          ;;
    1.40      esac