FStarLang/karamel

Remove default kremlin -ccopts

kzhong130 opened this issue · 0 comments

I tried to use kremlin using ccopts to assign options for c compiler, however it seems that the default options [-ccopts -Wall,-Werror,-Wno-unused-variable,-Wno-unknown-warning-option,-Wno-unused-but-set-variable,-g,-fwrapv,-D_BSD_SOURCE,-D_DEFAULT_SOURCE,-Wno-parentheses -ccopt -std=c11] will not be removed. Since I also used -m32 to do cross-compilation, there exists some warnings which will be regarded as errors due to Werror. Is there anyway to remove the default kremlin ccopts?