File tree Expand file tree Collapse file tree 3 files changed +5
-6
lines changed
Expand file tree Collapse file tree 3 files changed +5
-6
lines changed Original file line number Diff line number Diff line change @@ -62,15 +62,15 @@ jobs:
6262 make install
6363
6464 - name : Install METIS Release
65- if : ${{ matrix.config == " Release" }}
65+ if : ${{ matrix.config == ' Release' }}
6666 run : |
6767 cd METIS
6868 make config shared=1 prefix=${{runner.workspace}}/installs
6969 make
7070 make install
7171
7272 - name : Install METIS Debug
73- if : ${{ matrix.config == " Debug" }}
73+ if : ${{ matrix.config == ' Debug' }}
7474 run : |
7575 cd METIS
7676 make config shared=1 prefix=${{runner.workspace}}/installs gdb=1 debug=1
Original file line number Diff line number Diff line change @@ -78,15 +78,15 @@ jobs:
7878 ls
7979
8080 - name : Install METIS Release
81- if : ${{ matrix.config == " Release" }}
81+ if : ${{ matrix.config == ' Release' }}
8282 run : |
8383 cd METIS
8484 make config shared=1 prefix=${{runner.workspace}}/installs
8585 make
8686 make install
8787
8888 - name : Install METIS Debug
89- if : ${{ matrix.config == " Debug" }}
89+ if : ${{ matrix.config == ' Debug' }}
9090 run : |
9191 cd METIS
9292 make config shared=1 prefix=${{runner.workspace}}/installs gdb=1 debug=1
Original file line number Diff line number Diff line change 3434 - name : Install METIS
3535 run : |
3636 cmake `
37- -S "$env:GITHUB_WORKSPACE/HiGHS " `
37+ -S "$env:GITHUB_WORKSPACE/METIS " `
3838 -B build `
3939 -DGKLIB_PATH="$env:GITHUB_WORKSPACE/METIS/GKlib" `
4040 -DCMAKE_INSTALL_PREFIX="${{ runner.workspace }}"/installs
5353 - name : Configure cmake
5454 shell : pwsh
5555 run : |
56- cmake -S . -B build "-DMETIS_ROOT=$root"
5756 cmake `
5857 -S "$env:GITHUB_WORKSPACE/HiGHS" `
5958 -B "${{ runner.workspace }}/build" `
You can’t perform that action at this time.
0 commit comments