system "traffic" root application: make_and_launch default precompiled ("$ISE_EIFFEL\precomp\spec\windows\vision2") assertion (check) assertion (require) assertion (ensure) assertion (loop) assertion (invariant) disabled_debug (yes) disabled_debug ("dlg_dispatcher") disabled_debug ("gelex") disabled_debug ("geyacc") disabled_debug ("vision2_windows") disabled_debug ("vision2_windows_gdi") disabled_debug ("wel") disabled_debug ("wel_gdi_count") disabled_debug ("wel_gdi_references") disabled_debug ("win_dispatcher") disabled_debug ("xml_parser") debug (no) line_generation (no) profile (no) trace (no) check_vape (yes) console_application (no) array_optimization (yes) dead_code_removal (yes) exception_trace (no) inlining (yes) inlining_size ("4") -- The application -- Traffic library -- Exercises -- EiffelBase -- EiffelTime -- GOBO -- WEL -- EiffelVision2 --assertion (require) cluster all application: "src" exclude "CVS"; "constants"; "dialogs"; "main"; "windows"; end all traffic: "..\library" exclude "CVS"; "bad" default assertion (all) end all exercises: "..\exercises" exclude "CVS"; end library base: "$ISE_EIFFEL\library\base" exclude "table_eiffel3"; "desc"; default assertion (no) assertion (require) end library time: "$ISE_EIFFEL\library\time" exclude "french"; "german"; default assertion (no) assertion (require) end library gobo: "$ISE_EIFFEL\free_add_ons\gobo\library" exclude "other"; "ve"; "se"; "hact"; "expat"; default assertion (no) assertion (require) end library wel: "$ISE_EIFFEL\library\wel" default assertion (no) end -- EiffelVision2 all vision2: "$ISE_EIFFEL\library\vision2" exclude "gtk"; "EIFGEN"; "tmp"; "temp"; "release"; "obsolete"; "CVS" default assertion (require) end external include_path: "$(ISE_EIFFEL)\library\wel\spec\windows\include", "$(ISE_EIFFEL)\library\vision2\spec\include" object: "$(ISE_EIFFEL)\library\wel\spec\$(ISE_C_COMPILER)\lib\wel.lib", "$(ISE_EIFFEL)\library\vision2\spec\$(ISE_C_COMPILER)\lib\vision2.lib", "$(ISE_EIFFEL)\library\vision2\spec\$(ISE_C_COMPILER)\lib\zlib.lib", "$(ISE_EIFFEL)\library\vision2\spec\$(ISE_C_COMPILER)\lib\libpng.lib" end