generate kore in kompile by option only
generate kore in kompile by option only