# ---> EiffelStudio
# The compilation directory
EIFGENs