system
	main4ise
	-- Replace SYSTEM_NAME by the name of the executable file
	-- to be generated for your system.

root

	main (ROOT_CLUSTER): "make"
	-- Replace ROOT_CLASS, ROOT_CLUSTER and creation_procedure
	-- by the names of the root class, root class cluster and
	-- root creation procedure for your system.
	-- The `(ROOT_CLUSTER)' part may be omitted if there is
	-- no other class of name ROOT_CLASS in the universe.

default

	assertion (all);
	precompiled ("$EIFFEL4/precomp/spec/$PLATFORM/base")

cluster

	ROOT_CLUSTER: 	".";
		-- Replace ROOT_CLUSTER and PATH by the names of the
		-- root class cluster and corresponding path for your system.
		-- Add any other clusters that your system will need.

	maze:		"../../creation/MazeExpl";

        access:             "$EIFFEL4/library/base/structures/access";
        cursors:            "$EIFFEL4/library/base/structures/cursors";
        cursor_tree:        "$EIFFEL4/library/base/structures/cursor_tree";
        dispenser:          "$EIFFEL4/library/base/structures/dispenser";
        iteration:          "$EIFFEL4/library/base/structures/iteration";
        kernel:             "$EIFFEL4/library/base/kernel";
        list:               "$EIFFEL4/library/base/structures/list";
        set:                "$EIFFEL4/library/base/structures/set";
        sort:               "$EIFFEL4/library/base/structures/sort";
        storage:            "$EIFFEL4/library/base/structures/storage";
        support:            "$EIFFEL4/library/base/support";
        table:              "$EIFFEL4/library/base/structures/table";
        traversing:         "$EIFFEL4/library/base/structures/traversing";
        tree:               "$EIFFEL4/library/base/structures/tree";

end