File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -58,15 +58,15 @@ jobs:
58
58
export CMAKE_PREFIX_PATH=${{github.workspace}}/local:$CMAKE_PREFIX_PATH
59
59
mkdir sopt/build
60
60
cd sopt/build
61
- cmake .. -DCMAKE_INSTALL_PREFIX=${PWD} -Ddocasa=OFF -Ddompi=OFF -Dopenmp=OFF -Ddocs=OFF -Dtests=OFF -Dexamples=OFF
61
+ cmake .. --fresh - DCMAKE_INSTALL_PREFIX=${PWD}/local -Ddocasa=OFF -Ddompi=OFF -Dopenmp=OFF -Ddocs=OFF -Dtests=OFF -Dexamples=OFF
62
62
make -j$(nproc --ignore 1) install
63
63
64
64
- name : Configure
65
65
run : |
66
66
export CMAKE_PREFIX_PATH=${{github.workspace}}/local:$CMAKE_PREFIX_PATH
67
67
mkdir -p ${{github.workspace}}/build
68
68
cd ${{github.workspace}}/build
69
- cmake .. -DCMAKE_INSTALL_PREFIX=${PWD}/local -Ddompi=OFF -Dopenmp=OFF -Ddocs=ON
69
+ cmake .. --fresh - DCMAKE_INSTALL_PREFIX=${PWD}/local -Ddompi=OFF -Dopenmp=OFF -Ddocs=ON
70
70
make -j$(nproc --ignore 1) install
71
71
72
72
- name : Deploy to GH pages
You can’t perform that action at this time.
0 commit comments