File tree Expand file tree Collapse file tree 1 file changed +6
-0
lines changed
.github/workflows/scripts Expand file tree Collapse file tree 1 file changed +6
-0
lines changed Original file line number Diff line number Diff line change @@ -145,6 +145,12 @@ main() {
145145 echo " Finding C benchmark files in ${directories} ..."
146146 c_bench_files=$( find " ${directories} " -maxdepth 5 \( -wholename ' **/benchmark/c/benchmark*.c' -or -wholename ' **/benchmark/c/**/benchmark*.c' \) -exec realpath {} \; | grep -v ' /fixtures/' | sort -u | tr ' \n' ' ' ) || true
147147
148+ # If benchmarks requiring Cephes are found, install the Cephes library:
149+ c_cephes_makefiles=$( find " ${directories} " -maxdepth 5 -wholename ' **/benchmark/c/**/Makefile' -exec grep -l ' CEPHES' {} + || true)
150+ if [ -n " ${c_cephes_makefiles} " ]; then
151+ make install-deps-cephes
152+ fi
153+
148154 if [ -n " ${c_bench_files} " ]; then
149155 make benchmark-c-files FILES=" ${c_bench_files} "
150156 else
You can’t perform that action at this time.
0 commit comments