Merge pull request #223 from oscarbenjamin/pr_flintver_docs

docs: use latest Flint when building docs

Author: oscarbenjamin

.github/workflows/buildwheel.yml

@@ -67,11 +67,7 @@ jobs:
         with:
           python-version: '3.12'
 
-      - run: sudo apt-get update
-      - run: sudo apt-get install libgmp-dev libmpfr-dev xz-utils ninja-build
-      - run: curl -O -L https://www.flintlib.org/flint-3.1.0.tar.gz
-      - run: tar -xzf flint-3.1.0.tar.gz
-      - run: cd flint-3.1.0 && ./configure --disable-static && make -j4 && sudo make install
+      - run: bin/install_latest_flint_ubuntu.sh
       - run: pip install build
       - run: python -m build --sdist
 
@@ -129,9 +125,7 @@ jobs:
       - uses: actions/setup-python@v5
         with:
           python-version: '3.12'
-      - run: sudo apt-get update
-      - run: sudo apt-get install libflint-dev
-
+      - run: bin/install_latest_flint_ubuntu.sh
       - run: pip install --upgrade pip
       - run: pip install -r requirements-dev.txt
       - run: spin run -- pytest --doctest-glob='*.rst' doc/source

.readthedocs.yaml

@@ -10,15 +10,15 @@ build:
   os: ubuntu-24.04
   tools:
     python: "3.12"
-    # You can also specify other tool versions:
-    # nodejs: "19"
-    # rust: "1.64"
-    # golang: "1.19"
   apt_packages:
-    - libflint-dev
-  jobs:
-    pre_build:
-      - pip install .
+    - libgmp-dev
+    - libmpfr-dev
+    - xz-utils
+    - ninja-build
+  commands:
+    - bin/install_latest_flint_ubuntu.sh
+    - spin docs
+    - mv doc/build/html $READTHEDOCS_OUTPUT/html
 
 # Build documentation in the "docs/" directory with Sphinx
 sphinx:

bin/install_latest_flint_ubuntu.sh

@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+
+set -e
+
+source bin/build_variables.sh
+
+sudo apt-get update
+sudo apt-get install libgmp-dev libmpfr-dev xz-utils ninja-build
+
+curl -O -L https://github.com/flintlib/flint/releases/download/v$FLINTVER/flint-$FLINTVER.tar.gz
+tar -xzf flint-$FLINTVER.tar.gz
+cd flint-$FLINTVER && ./configure --disable-static && make -j$(expr $(nproc) + 1) && sudo make install
+
+ls -l /usr/local/lib
+sudo ldconfig /usr/local/lib

bin/rtd_before_all_linux.sh

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+apt-get install xz-utils
+
+bin/build_dependencies_unix.sh\
+  --gmp gmp\
+  --host x86_64-pc-linux-gnu\
+  --use-gmp-github-mirror

doc/source/nmod_mpoly.rst

@@ -1,5 +1,5 @@
 **nmod_mpoly** -- multivariate polynomials over the integers mod n (word-size n)
-===============================================================================
+================================================================================
 
 .. autoclass :: flint.nmod_mpoly_ctx
   :members: