# Nimrod configuration file. # The file is used only to add the path of the backend to the compiler options. path="../nimrod_backend"