From 8fd055edec7a05de62a400c1c725ce36121a5e9f Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Mon, 26 Dec 2016 10:55:00 +0000 Subject: [PATCH] Update wikipage Converting existing software to void-safety. (Signed-off-by:alexk). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1713 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../converting-existing-software-void-safety/index.wiki | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/converting-existing-software-void-safety/index.wiki b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/converting-existing-software-void-safety/index.wiki index 24b0ca0a..2616d26e 100644 --- a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/converting-existing-software-void-safety/index.wiki +++ b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/converting-existing-software-void-safety/index.wiki @@ -76,11 +76,9 @@ So, fix any problems that arise out of turning on full class checking. The second step in conversion of existing software is to change the values of the other void-safe related project settings and use the void-safe configurations for any delivered libraries and precompilations. -In the project settings for the target in which you are working: -# Set '''Void-safe''' to either '''Complete''', '''Initialization''' or '''Conformance'''. -# Set '''Are types attached by default?''' to '''True'''. +In the project settings for the target in which you are working, set '''Void-safe''' to either '''Complete''', '''Initialization''' or '''Conformance'''. -{{note|Remember that during a transitional period starting with V6.4, there will be multiple versions of the configuration files for Eiffel libraries and precompiles. For example, base.ecf (void-unsafe) and base-safe.ecf (void-safe). It is expected that in the future there will only be one configuration file (e.g., base.ecf) that will work with both void-safe and void-unsafe client software. }} +{{note|Remember that during a transitional period starting with v6.4, there will be multiple versions of the configuration files for Eiffel libraries and precompiles. For example, base.ecf (void-unsafe) and base-safe.ecf (void-safe). Starting with v16.11 there is only one configuration file for libraries (e.g., base.ecf) that works with both void-safe and void-unsafe client software, but if you are using a precompile, there could be different versions for void-safe and void-unsafe precompiles.}} If necessary, remove Eiffel libraries and any precompiled library that your project uses and re-add them with their void-safe configuration files. Because you've set your target to void-safety, when you click '''Add Library''', you should see only void-safe configurations by default. You will see a check box on the dialog that you can uncheck if you want to see all available library configurations: