Merge pull request #246 from vneiger/add_ci_runner_flint34

Add CI runner with FLINT dev version

Author: ederc

.github/workflows/msolve.yml

@@ -55,3 +55,27 @@ jobs:
                     echo "$RUNNER_OS not supported"
                     exit 1
                fi
+
+  flintdev-assert-ntl:
+    name: FLINT git version, compiled with assert and NTL
+    runs-on: ubuntu-latest
+    env:
+      CC: "gcc"
+    steps:
+      - uses: actions/checkout@v6
+      - name: "Setup"
+        run: |
+          sudo apt-get install -y libgmp-dev libmpfr-dev libntl-dev autoconf libtool-bin
+          $CC --version
+          make --version
+          autoconf --version
+          libtool --version
+          echo "MAKE=make -j$(expr $(nproc) + 1) --output-sync=target" >> $GITHUB_ENV
+      - name: "Build FLINT"
+        run: |
+          git clone --depth=1 https://github.com/flintlib/flint
+          cd flint && ./bootstrap.sh && ./configure CC=${CC} --with-ntl --enable-assert
+          $MAKE && sudo make install && sudo ldconfig
+      - name: "Build and Test msolve"
+        run: |
+          ./autogen.sh && ./configure && $MAKE && make check