Skip to content

Commit 99654d2

Browse files
committed
Build local FLINT in readthedocs
1 parent 572ac3e commit 99654d2

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

.readthedocs.yaml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,8 @@ build:
1616
- xz-utils
1717
- ninja-build
1818
commands:
19-
- bin/install_latest_flint_ubuntu.sh
19+
- bin/build_dependencies_unix.sh --skip-gmp --skip-mpfr
20+
- spin build -- --pkg-config-path=.local/lib/pkgconfig -Dadd_flint_rpath=true
2021
- spin docs
2122
- mv doc/build/html $READTHEDOCS_OUTPUT/html
2223

0 commit comments

Comments
 (0)