File tree Expand file tree Collapse file tree 1 file changed +24
-14
lines changed
Expand file tree Collapse file tree 1 file changed +24
-14
lines changed Original file line number Diff line number Diff line change 11#! /bin/bash
22env
33
4+
5+ if [ -f /etc/os-release ]; then
6+ . /etc/os-release
7+ if [[ " $ID " == " ubuntu" || " $ID_LIKE " == " debian" ]]; then
8+ PACKAGE_MANAGER=" apt"
9+ elif [[ " $ID " == " rhel" || " $ID_LIKE " == " rocky" ]]; then
10+ PACKAGE_MANAGER=" yum"
11+ else
12+ echo " Unsupported OS: $ID "
13+ exit 1
14+ fi
15+ else
16+ echo " /etc/os-release not found. Unable to determine OS."
17+ exit 1
18+ fi
19+
20+
421if [ -f /usr/lib64/libblas.so.3 ]; then
522 BLAS_LIB=/usr/lib64/libblas.so.3
623 LAPACK_LIB=/usr/lib64/liblapack.so.3
@@ -9,20 +26,6 @@ elif [ -f /usr/lib/x86_64-linux-gnu/libblas.so ]; then
926 LAPACK_LIB=/usr/lib/x86_64-linux-gnu/liblapack.so
1027else
1128 echo " BLAS/LAPACK not found" ;
12- if [ -f /etc/os-release ]; then
13- . /etc/os-release
14- if [[ " $ID " == " ubuntu" || " $ID_LIKE " == " debian" ]]; then
15- PACKAGE_MANAGER=" apt"
16- elif [[ " $ID " == " rhel" || " $ID_LIKE " == " rocky" ]]; then
17- PACKAGE_MANAGER=" yum"
18- else
19- echo " Unsupported OS: $ID "
20- exit 1
21- fi
22- else
23- echo " /etc/os-release not found. Unable to determine OS."
24- exit 1
25- fi
2629
2730 echo " Using package manager: $PACKAGE_MANAGER "
2831
9396
9497# Documentation check
9598if [[ " $* " == * --test-doxygen* ]]; then
99+
100+ if [ " $PACKAGE_MANAGER " == " apt" ]; then
101+ apt update && apt-get install -y texlive-full
102+ elif [ " $PACKAGE_MANAGER " == " yum" ]; then
103+ yum update && yum install -y texlive
104+ fi
105+
96106 or_die ctest --output-on-failure -R " testDoxygenCheck"
97107 exit 0
98108fi
You can’t perform that action at this time.
0 commit comments