suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

More changes to platform names.

Browse Source
This commit is contained in:
Eli Barzilay 2012-03-13 10:24:27 -04:00
parent 1228770550
commit b2d2e533f9
2 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/meta/build/build
View File

@ -230,16 +230,16 @@ name_of_platform() {
"$(last_part_capital "$1")" ;;
( "i386-freebsd" ) echo "FreeBSD" ;;
( "sparc-solaris" ) echo "Solaris" ;;
( "i386-osx-mac" ) echo "Mac OS X (Intel)" ;;
( "i386-osx-mac" ) echo "Mac OS X (Intel 32-bit)" ;;
( "ppc-osx-mac" ) echo "Mac OS X (PPC)" ;;
( "x86_64-osx-mac" ) echo "Mac OS X (x86_64)" ;;
( "ppc-darwin" ) echo "Mac X11 on Darwin (PPC)" ;;
( "i386-darwin" ) echo "Mac X11 on Darwin (Intel)" ;;
( "i386-win32" ) echo "Windows" ;;
( "x86_64-win32" ) echo "Windows x64" ;;
( "x86_64-osx-mac" ) echo "Mac OS X (32-bit 64-bit)" ;;
( "ppc-darwin" ) echo "X11 on Darwin (PPC)" ;;
( "i386-darwin" ) echo "X11 on Darwin (Intel)" ;;
( "i386-win32" ) echo "Windows (x86, 32-bit)" ;;
( "x86_64-win32" ) echo "Windows (x64, 64-bit)" ;;
# These are source distribution platforms
( "unix" ) echo "Unix" ;;
( "mac" ) echo "Macintosh" ;;
( "mac" ) echo "Mac OS X" ;;
( "win" ) echo "Windows" ;;
( * ) exit_error "Unknown platform name for name_of_platform \"$1\"" ;;
esac

6
collects/meta/web/minis/bugs.rkt
View File

@ -7,13 +7,15 @@
;; a starred option is the default
(define platform-options
'([* "...or choose" ""]
["Windows 7/Vista, 32-bit" windows-7-32]
["Windows 7/Vista, 64-bit" windows-7-64]
["Windows Vista" windows-vista]
["Windows XP" windows-xp]
["Windows 2000" windows-2000]
["Windows NT" windows-nt]
["Windows 95/98/Me" windows-9x]
["Macintosh PowerPC (MacOS X)" mac-ppc-osx]
["Macintosh Intel (MacOS X)" mac-i386-osx]
["Mac OS X PowerPC (MacOS X)" mac-ppc-osx]
["Mac OS X Intel (MacOS X)" mac-i386-osx]
["Linux, Fedora/RedHat based" linux-fedora]
["Linux, Ubuntu/Debian based" linux-ubuntu]
["Linux, other distro" linux-other]