system "traffic" root application: "make_and_launch" default assertion (all) dead_code_removal (yes) array_optimization (yes) inlining (yes) inlining_size ("4") -- The application -- Traffic library -- Exercises -- EiffelBase -- EiffelTime -- GOBO -- GEL -- EiffelVision2 cluster all application: "src" exclude "CVS"; "constants"; "dialogs"; "main"; "windows"; end all traffic: "../library" exclude "CVS"; "exercises"; "bad" 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 gel: "$ISE_EIFFEL/library/gel" all vision2: "$ISE_EIFFEL/library/vision2" exclude "mswin"; "contrib" default assertion (require) end external include_path: "\$(ISE_EIFFEL)/library/event/Clib", "\$(ISE_EIFFEL)/library/vision2/spec/include", "\$(ISE_EIFFEL)/library/vision2/implementation/gtk/Clib `gtk-config --cflags`" object: "$(ISE_EIFFEL)/library/vision2/spec/$(ISE_PLATFORM)/lib/gtk_eiffel.o", "$(ISE_EIFFEL)/library/vision2/spec/$(ISE_PLATFORM)/lib/load_pixmap.o `gtk-config --libs`", "$(ISE_EIFFEL)/C_library/libpng/libpng.a", "$(ISE_EIFFEL)/C_library/zlib/libz.a", "-L/usr/X11R6/lib -lXtst" end