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() {
145
145
echo " Finding C benchmark files in ${directories} ..."
146
146
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
147
147
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
+
148
154
if [ -n " ${c_bench_files} " ]; then
149
155
make benchmark-c-files FILES=" ${c_bench_files} "
150
156
else
You can’t perform that action at this time.
0 commit comments