You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It is sometimes needed to download an extra tarball and extract it somewhere during the build process (e.g. when the tarball doesn't contain the source of a git submodule)
However currently extra-source doesn't allow to extract tarballs contrary to url.
An option could be added like:
This approach would be more elegant, but note that both the flexdll and winpthreads already do this slightly more portably by installing the sources instead: e.g. winpthreads.20240209-1.opam uses this .install file.
The downside is that the sources live in the switch, so it's only really viable if the submodule is very small.
It is sometimes needed to download an extra tarball and extract it somewhere during the build process (e.g. when the tarball doesn't contain the source of a git submodule)
However currently
extra-source
doesn't allow to extract tarballs contrary tourl
.An option could be added like:
The only way to do this currently is to call tar, mv and so manually which is often not very portable and not very user-friendly.
Examples include at least:
The text was updated successfully, but these errors were encountered: