description: "generic Eiffel tool compilation" author: "Jocelyn Fiat and others" Checking requirement for compilation.