.readthedocs.yaml

# .readthedocs.yaml
# Read the Docs configuration file
# See https://docs.readthedocs.io/en/stable/config-file/v2.html for details

# Required
version: 2

# Set the OS, Python version and other tools you might need
build:
  os: ubuntu-24.04
  tools:
    python: "3.12"

  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:
  configuration: doc/source/conf.py

# Optionally build your docs in additional formats such as PDF and ePub
# formats:
#    - pdf
#    - epub

# 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