diff --git a/.readthedocs.yaml b/.readthedocs.yaml index 46b1e159..cb39cf02 100644 --- a/.readthedocs.yaml +++ b/.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