Closed camlspotter closed 5 years ago
IMHO downloading fonts during build is not critical for SATySFi and it could be replaced with an utility, say, satysfi setup-fonts
to download fonts and place them in $HOME/.satysfi.
A possible side effect of this approach is that we no longer need to think about https://github.com/gfngfn/SATySFi/issues/38 ;-)
Otherwise, we can import the fonts into the repository since they are all redistributable freely.
Using opam 2.0.0 format, you can use the field [extra-source
] in order to let opam download the file before the sandboxed build (and check the checksum!).
I made a PR based on @rjbou's comment. Thanks a lot!
OPAM2 now has sandboxing: the build cannot access the external resources. SATySFi build fails at the downloading of font files.
See https://github.com/ocaml/opam/issues/3460 for a discussion of the sandboxing.
In the following build attempt,
curl
fails due to the name resolution failure of www.gust.org.pl.