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

Add a basic GitHub Actions workflow.
Add a basic GitHub Actions workflow.
