add an option that will build bods#73

altramarine wants to merge 1 commit into

mainBU-DiSC/bliss_benchmark:mainfrom

YanpengWei/bliss_with_compile_bods_optBU-DiSC/bliss_benchmark:YanpengWei/bliss_with_compile_bods_optCopy head branch name to clipboard