-- To launch the compilation with this file, just type:
--
--               compile example2.ace
--
-- This second example contains more constructs and options available to ACE
-- files.
--
-- In this example, classes are compiled with different levels of assertions
-- checking.  Most "pure" Eiffel project should be handled this way.
--
-- Also note that the -verbose option flag is compatible with the ACE file
-- mode, hence the following command is also allowed:
--
--               compile -verbose example2.ace
--
system
      -- The name for the executable
   "pyramid"

root
      -- To indicate that the execution will start in procedure `make' of class
      -- PYRAMID
   PYRAMID: make

default
   assertion (loop)
      -- To select the default assertion level to be verified
      -- Try to change this "loop" keyword for example.

   collect (yes)
      -- To include or to exclude the Garbage Collector
      -- Yes or No is a valid answer here.

cluster

   demos_cluster: "${path_tutorial}"
         -- The description of the first cluster starts with its name just
         -- followed by the path of the directory
         -- The ${path_tutorial} variable is set in the configuration file
         -- (liberty.se)
      end

   standard : "${path_liberty_core}/string"
         -- The string cluster
      default
          assertion (require)
      option
          assertion (ensure): STRING
             -- To override the previously defined level for some classes of
             -- this cluster
      end

   basic_io : "${path_liberty_core}/io/basic"
         -- The basic io cluster
      default
          assertion (ensure)
      option
          assertion (require): STD_INPUT
             -- To override the previously defined level for some classes of
             -- this cluster
      end

   standard: "${path_liberty_core}/loadpath.se"
         -- Liberty Eiffel's standard library. Always put this last so that you
         -- can override options for parts of the library.
      default
          assertion (ensure)
      end

end