欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Oracle Solaris Studio
Sun Studio 软件 ─ OpenSolaris 开发的首选环境 ─ 提供最优化编译器、基于 NetBeans 的 IDE、可视性能工具等，供开发人员创建高度优化的应用，这些应用可以利用最新的硬件，包括多核系统。性能和开发时间不容浪费，而现在通过 Sun Studio 可以提高性能和缩短开发时间。
Sun Studio 11: Record setting compilers and tools for C, C++ and Fortran development.
安装指南
对 Redhat 用户, 目前暂不支持 Debian 用户
1 如果目前您不是超级用户，请键入下列命令成为超级用户 (root)：
% su Password: root-password
2 请确保位于 Sun Studio 产品目录中，该目录含有此文档的副本和产品安装程序。
3 要安装 Sun Studio 软件，请通过键入下列命令来运行图形用户界面安装程序：
./installer
如果希望运行命令行安装程序，而不是图形用户界面安装程序，请键入：
./installer -nodisplay
请遵循安装程序中的说明来完成安装。
注意：请将 Sun Studio 11 软件安装在与其他 Forte Developer、Sun ONE Studio 以及 Sun Studio 发行版本不同的目录中。 4 将 PATH 环境变量设置为包含路径 /installation_directory/SUNWspro/bin（Solaris 平台）或 /installation_directory/sun/sunstudio11/bin（Linux 平台）。
5 将 MANPATH 环境变量设置为包含路径 /installation_directory/SUNWspro/man（Solaris 平台）或 /installation_directory/sun/sunstudio11/man（Linux 平台）。
6 如果您使用 HTTP 代理服务器访问 Internet，请将 ALL_PROXY 环境变量设置为您的代理服务器设置，这样便可以使用 Sun Studio 11 软件的“更新通知”功能。
7 使用 sunstudio 命令可以启动 Sun Studio 11 IDE，对于 Solaris 平台，该命令位于 /installation_directory/SUNWspro/bin/sunstudio；对于 Linux 平台，该命令位于 /installation_directory/sun/sunstudio11/bin/sunstudio。
8 访问位于 http://developers.sun.com/sunstudio 站点的 Sun Developer Network (SDN) Sun Studio 门户，可以获取有关代码示例、文档、论坛、新闻速递以及其他更多的信息。
9 有关其他的安装方法、在 Zone 中进行安装以及卸载等方面的信息，请参见位于 Sun Studio 产品目录的 InstallGuide 目录中可用的安装和设置指南。
