@@ -129,39 +129,13 @@ jobs:
129129 ORTOOLSDIR=$GITHUB_WORKSPACE/or-tools
130130 echo "ORTOOLSDIR=$ORTOOLSDIR" >> $GITHUB_ENV
131131
132- - name : Restore cached OR-Tools
133- id : cached-ortools-restore
134- uses : actions/cache/restore@v4
135- with :
136- key : ortools-${{env.ORTOOLS_VER}}-macos
137- path : ${{env.ORTOOLSDIR}}/
138-
139132 - name : Download OR-Tools
140133 if : steps.cached-ortools-restore.outputs.cache-hit != 'true'
141134 shell : bash
142135 run : |
143136 curl -L https://github.com/google/or-tools/releases/download/v$ORTOOLS_VER/or-tools-$ORTOOLS_VER.tar.gz -o or-tools-$ORTOOLS_VER.tar.gz
144137 tar xvzf or-tools-$ORTOOLS_VER.tar.gz
145-
146- - name : build OR-Tools
147- if : steps.cached-ortools-restore.outputs.cache-hit != 'true'
148- shell : bash
149- run : |
150- mkdir ${ORTOOLSDIR}
151- cd or-tools-$ORTOOLS_VER
152- mkdir build
153- cmake -S . -B build -DBUILD_DEPS=ON -DUSE_COINOR=ON -DUSE_GLPK=ON -DBUILD_EXAMPLES=OFF -DBUILD_SAMPLES=OFF -DBUILD_DOC=OFF -DINSTALL_DOC=OFF -DCMAKE_INSTALL_PREFIX=${ORTOOLSDIR}
154- cmake --build build --config Release --target all -j4 -v
155- cmake --build build --config Release --target install -v
156-
157- - name : Always save OR-Tools build
158- id : cached-ortools-save
159- if : always() && steps.cached-ortools-restore.outputs.cache-hit != 'true'
160- uses : actions/cache/save@v4
161- with :
162- key : ${{ steps.cached-ortools-restore.outputs.cache-primary-key }}
163- path : ${{env.ORTOOLSDIR}}/
164-
138+
165139 - name : Get cached GTest
166140 uses : actions/cache@v4
167141 id : cachedgtest
@@ -273,12 +247,6 @@ jobs:
273247 ORTOOLSDIR=$GITHUB_WORKSPACE/or-tools-$ORTOOLS_VER/install_release
274248 echo "ORTOOLSDIR=$ORTOOLSDIR" >> $GITHUB_ENV
275249
276- - name : Restore cached OR-Tools
277- id : cached-ortools-restore
278- uses : actions/cache/restore@v4
279- with :
280- key : ortools-${{env.ORTOOLS_VER}}-windows
281- path : ${{env.ORTOOLSDIR}}/
282250
283251 - name : Download OR-Tools
284252 if : steps.cached-ortools-restore.outputs.cache-hit != 'true'
@@ -287,26 +255,6 @@ jobs:
287255 curl -L https://github.com/google/or-tools/releases/download/v$ORTOOLS_VER/or-tools-$ORTOOLS_VER.tar.gz -o or-tools-$ORTOOLS_VER.tar.gz
288256 tar xvzf or-tools-$ORTOOLS_VER.tar.gz
289257
290- - name : build OR-Tools
291- if : steps.cached-ortools-restore.outputs.cache-hit != 'true'
292- shell : bash
293- run : |
294- mkdir ${ORTOOLSDIR}
295- cd or-tools-$ORTOOLS_VER
296- mkdir build
297- cmake -S . -B build -DBUILD_DEPS=ON -DUSE_COINOR=ON -DUSE_GLPK=ON -DBUILD_EXAMPLES=OFF -DBUILD_SAMPLES=OFF -DBUILD_DOC=OFF -DINSTALL_DOC=OFF -DCMAKE_INSTALL_PREFIX=${ORTOOLSDIR}
298- cmake --build build --config Release --target ALL_BUILD -j -v
299- cmake --build build --config Release --target INSTALL -v
300-
301- - name : Always save OR-Tools build
302- id : cached-ortools-save
303- if : always() && steps.cached-ortools-restore.outputs.cache-hit != 'true'
304- uses : actions/cache/save@v4
305- with :
306- key : ${{ steps.cached-ortools-restore.outputs.cache-primary-key }}
307- path : ${{env.ORTOOLSDIR}}/
308-
309-
310258 - name : Get cached GTest
311259 uses : actions/cache@v4
312260 id : cachedgtest
0 commit comments