diff --git a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-freebsd.wiki b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-freebsd.wiki index fa0492ee..d8e228d8 100644 --- a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-freebsd.wiki +++ b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-freebsd.wiki @@ -12,6 +12,9 @@ | '''Operating System''' | FreeBSD 5.2 with either Gnome 2.6 or GTK+ 2.4. |- +| '''C compiler''' +| gcc +|- | '''Memory''' | 512 MB of RAM (1GB recommended). |- diff --git a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-tru64-unix.wiki b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-tru64-unix.wiki index 5c54a254..8d620ff3 100644 --- a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-tru64-unix.wiki +++ b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-tru64-unix.wiki @@ -12,6 +12,9 @@ | '''Operating System''' | HP Tru64 UNIX 5.1B with GTK+ 2.4. |- +| '''C compiler''' +| HP C compiler +|- | '''Memory''' | 512MB of RAM (1GB recommended). |- diff --git a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-ux.wiki b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-ux.wiki index b4f580bc..d915a8a7 100644 --- a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-ux.wiki +++ b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-ux.wiki @@ -12,6 +12,9 @@ | '''Operating System''' | HP-UX 11 with GTK+ 2.4. |- +| '''C compiler''' +| HP C compiler +|- | '''Memory''' | 512MB of RAM (1GB recommended). |- diff --git a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki index c1a0f5ea..859fb375 100644 --- a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki +++ b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki @@ -12,6 +12,9 @@ | '''Operating System''' | Fedora Core 2, Slackware 10 or any Linux system with glibc 2.3 and either Gnome 2.6 or GTK+ 2.4. |- +| '''C compiler''' +| gcc +|- | '''Memory''' | 512MB of RAM (1GB recommended). |- @@ -40,8 +43,6 @@ The command should succeed and the version number of GTK+ should appear. If it i On some Linux distribution the Xtst library is required but not installed by default. You have to make sure it is installed by using the instruction of your Linux distribution. -We also require the `gcc' C compiler. - ==Installing EiffelStudio from the Web== After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/EiffelXX.tar.bz2, where XX stands for the EiffelStudio version): diff --git a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-linuxppc.wiki b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-linuxppc.wiki index 3fd4127e..269b55bc 100644 --- a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-linuxppc.wiki +++ b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-linuxppc.wiki @@ -12,6 +12,9 @@ | '''Operating System''' | Yellow Dog Linux 4.0 with either Gnome 2.6 or GTK+ 2.4. |- +| '''C compiler''' +| gcc +|- | '''Memory''' | 512MB of RAM (1GB recommended). |- diff --git a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-mac-os-x.wiki b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-mac-os-x.wiki index 4308365e..5d30edbe 100644 --- a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-mac-os-x.wiki +++ b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-mac-os-x.wiki @@ -6,29 +6,32 @@ {| |- -| Computer/Processor -| G4 +| '''Computer/Processor''' +| x86 |- -| Operating System -| Mac OS X 10.4 (Tiger) or above +| '''Operating System''' +| Mac OS X 10.5 (Leopard) or above |- -| Memory +| '''C compiler''' +| gcc included in XCode +|- +| '''Memory''' | 512MB of RAM (1GB recommended) |- -| Hard Disk +| '''Hard Disk''' | 400MB of hard disk space (1GB recommended) |- -| Drive +| '''Drive''' | CD-ROM or DVD drive (not required when downloading EiffelStudio) |- -| Display +| '''Display''' | 1024 x 768 or higher resolution video adapter and monitor |- -| Peripherals +| '''Peripherals''' | Keyboard and mouse or compatible pointing device |- | '''ISE_PLATFORM''' -| '''macosx-ppc''' or '''macosx-x86'''. +| ''macosx-x86''' for x86 based CPU and '''macosx-x86-64''' for x64 based CPU. |} diff --git a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-solaris.wiki b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-solaris.wiki index f33464a6..58fd18da 100644 --- a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-solaris.wiki +++ b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-solaris.wiki @@ -12,6 +12,9 @@ | '''Operating System''' | Solaris 9.0 or greater for Sparc, Solaris 10 or greater for x86 with either Gnome 2.6 or GTK+ 2.4. |- +| '''C compiler''' +| Sun Studio 12 C compiler +|- | '''Memory''' | 512MB of RAM (1GB recommended). |- diff --git a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/windows.wiki b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/windows.wiki index c15a8592..ef5d8a05 100644 --- a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/windows.wiki +++ b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/windows.wiki @@ -12,6 +12,9 @@ | '''Operating System''' | Windows NT/2000/XP/2003/Vista (.NET support is for Microsoft Windows 2000, XP and 2003 only). |- +| '''C compiler''' +| Microsoft Visual Studio 2005 or greater, or using gcc included in the EiffelStudio delivery +|- | '''Memory''' | 512MB of RAM (1GB recommended). |- diff --git a/documentation/current/method/void-safe-programming-eiffel/what-makes-certified-attachment-pattern.wiki b/documentation/current/method/void-safe-programming-eiffel/what-makes-certified-attachment-pattern.wiki index c4f8bd6a..5a12989c 100644 --- a/documentation/current/method/void-safe-programming-eiffel/what-makes-certified-attachment-pattern.wiki +++ b/documentation/current/method/void-safe-programming-eiffel/what-makes-certified-attachment-pattern.wiki @@ -178,7 +178,7 @@ In summary, CAPs provide void-safe protection for certain types of detachable ex Possibly the characteristic of CAPs which is most important to developers is whether or not a particular CAP is supported by the compiler. In other words, from the developers viewpoint, the only opinion that matters in the argument of whether a particular pattern constitutes a CAP is that of the compiler. -If the compiler can provide assurance that a certain code pattern provides void-safe protection, then the developer has that pattern available as a CAP. Likewise, even if a pattern can be shown to be a CAP, but for some reason it is not supported by the compiler, then that pattern is not available as a CAP and the compiler will not allow its use. +If the compiler can provide assurance that a certain code pattern guarantees void-safe protection, then the developer will have that pattern available as a CAP. Likewise, even if a pattern can be shown logically to be a CAP, but for some reason it is not supported by the compiler, then that pattern will not available as a CAP and the compiler will not allow its use.