Go back to using apt for libflint in rtd

Author: oscarbenjamin

.readthedocs.yaml

@@ -10,12 +10,23 @@ build:
   os: ubuntu-24.04
   tools:
     python: "3.12"
-  commands:
-    - pip install -r requirements-dev.txt
-    - bin/build_dependencies_unix.sh --use-gmp-github-mirror
-    - spin build -- --pkg-config-path=.local/lib/pkgconfig -Dadd_flint_rpath=true
-    - spin docs
-    - mv doc/build/html $READTHEDOCS_OUTPUT/html
+
+  apt_packages:
+    - libflint-dev
+  jobs:
+    pre_build:
+      - pip install .
+
+  # Tried to use this to build latest version of FLINT but FLINT does not build
+  # in rtd for some reason. FLINT's configure seems to fail in all sorts of ways
+  # even though GMP and MPFR build fine.
+  #
+  #  commands:
+  #   - pip install -r requirements-dev.txt
+  #   - bin/build_dependencies_unix.sh --use-gmp-github-mirror
+  #   - spin build -- --pkg-config-path=.local/lib/pkgconfig -Dadd_flint_rpath=true
+  #   - spin docs
+  #   - mv doc/build/html $READTHEDOCS_OUTPUT/html
 
 # Build documentation in the "docs/" directory with Sphinx
 sphinx:
@@ -29,6 +40,6 @@ sphinx:
 # Optional but recommended, declare the Python requirements required
 # to build your documentation
 # See https://docs.readthedocs.io/en/stable/guides/reproducible-builds.html
-# python:
-#   install:
-#    - requirements: requirements-dev.txt
+python:
+  install:
+    - requirements: requirements-dev.txt