make the options for core:configure