name: flint-tests
on: [push, pull_request]
jobs:
  ubuntu-gcc:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
      - run: |
          sudo apt-get install texinfo
          ./.build_dependencies
          ./configure CFLAGS="-Wredundant-decls" --with-mpir=${LOCAL} --with-mpfr=${LOCAL} --prefix=${LOCAL}
          $MAKE
          ldd libflint.so
          $MAKE check
        env:
          LOCAL: ${{ github.workspace }}/local
          LDFLAGS: "-Wl,-rpath,$LOCAL/lib"
          MAKE: "make -j"
  ubuntu-cmake-gcc:
    runs-on: ubuntu-latest
    env:
      LOCAL: ${GITHUB_WORKSPACE}/local
      LDFLAGS: "-Wl,-rpath,$LOCAL/lib"
      MAKE: "make -j"
    steps:
      - uses: actions/checkout@v2
      - run: |
          sudo apt-get install texinfo
          sudo apt-get install cmake
          ./.build_dependencies
          mkdir build
          cd build
          cmake -G"Unix Makefiles" -DWITH_NTL=yes -DBUILD_TESTING=yes -DCMAKE_BUILD_TYPE=Release -DCMAKE_PREFIX_PATH=$LOCAL ..
          $MAKE
          ldd lib/libflint.so
        env:
          LOCAL: ${{ github.workspace }}/local
          LDFLAGS: "-Wl,-rpath,$LOCAL/lib"
          MAKE: "make -j" 

name: flint-tests
on: [push, pull_request]
jobs:
  ubuntu-gcc:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
      - run: |
          sudo apt-get install texinfo
          ./.build_dependencies
          ./configure CFLAGS="-Wredundant-decls" --with-mpir=${LOCAL} --with-mpfr=${LOCAL} --prefix=${LOCAL}
          $MAKE
          ldd libflint.so
          $MAKE check
        env:
          LOCAL: ${{ github.workspace }}/local
          LDFLAGS: "-Wl,-rpath,$LOCAL/lib"
          MAKE: "make -j"
  ubuntu-cmake-gcc:
    runs-on: ubuntu-latest
    env:
      LOCAL: ${GITHUB_WORKSPACE}/local
      LDFLAGS: "-Wl,-rpath,$LOCAL/lib"
      MAKE: "make -j"
    steps:
      - uses: actions/checkout@v2
      - run: |
          sudo apt-get install texinfo
          sudo apt-get install cmake
          ./.build_dependencies
          mkdir build
          cd build
          cmake -G"Unix Makefiles" -DWITH_NTL=no -DBUILD_TESTING=yes -DCMAKE_BUILD_TYPE=Release -DCMAKE_PREFIX_PATH=$LOCAL ..
          $MAKE
          ldd lib/libflint.so
        env:
          LOCAL: ${{ github.workspace }}/local
          LDFLAGS: "-Wl,-rpath,$LOCAL/lib"
          MAKE: "make -j" 

Disable NTL as it is not built.
Disable NTL as it is not built.
