-- An example to get the most optimized system.
system number2

root EXAMPLE2 : "make"

default

   verbose (no); -- Or say yes to see C compiler calls.
   assertion (boost);
   trace(no);
   debug (no);

cluster

   "${SmartEiffelDirectory}/lib/kernel"
   "${SmartEiffelDirectory}/lib/base"
   "${SmartEiffelDirectory}/lib/io"
   "${SmartEiffelDirectory}/lib/misc"
   "${SmartEiffelDirectory}/lib/number"
   "${SmartEiffelDirectory}/tutorial/number"

generate

   no_split(no);
   no_strip(no);
   clean(no)
   cc: gcc;
   c_compiler_options: "-O -g";   

end
