File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 7272 git clone --depth 1 --branch ${{ inputs.branch }} https://github.com/${{ inputs.fork }}.git
7373 cd libsemigroups
7474 ./autogen.sh
75- ./configure CXX="$CXX " CXXFLAGS="$CXXFLAGS " --disable-hpcombi --with-external-fmt
75+ ./configure CXX="${{ matrix.compiler }} " CXXFLAGS="-O2 -g " --disable-hpcombi --with-external-fmt
7676 sudo make install -j8
7777 ccache -s
7878 - name : " Pip install libsemigroups_pybind11 . . ."
Original file line number Diff line number Diff line change @@ -127,7 +127,7 @@ jobs:
127127 git clone --depth 1 --branch main https://github.com/libsemigroups/libsemigroups.git
128128 cd libsemigroups
129129 ./autogen.sh
130- ./configure CXX="$CXX " CXXFLAGS="$CXXFLAGS " --disable-hpcombi --with-external-fmt
130+ ./configure CXX="${{ matrix.compiler }} " CXXFLAGS="-O2 -g " --disable-hpcombi --with-external-fmt
131131 sudo make install -j8
132132 ccache -s
133133 - name : " Pip install libsemigroups_pybind11 . . ."
You can’t perform that action at this time.
0 commit comments