Build local FLINT in readthedocs

flintlib · Sep 9, 2024 · 99654d2 · 99654d2
1 parent 572ac3e
commit 99654d2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -16,7 +16,8 @@ build:
     - xz-utils
     - ninja-build
   commands:
-    - bin/install_latest_flint_ubuntu.sh
+    - bin/build_dependencies_unix.sh --skip-gmp --skip-mpfr
+    - spin build -- --pkg-config-path=.local/lib/pkgconfig -Dadd_flint_rpath=true
     - spin docs
     - mv doc/build/html $READTHEDOCS_OUTPUT/html