Delete the vmthreads library#2289
Conversation
|
You're not wasting any time :-) I'm favorable in principle, but would like to know:
|
|
Indeed :)
Nope. It does seems like a non-negligible amount of work, and given that we don't know if anyone is still using vmthreads, I'd much prefer to not do this work eagerly. If someone comes forward in the future and announce that they were relying on vmthreads, we can always discuss what can be done to help at this point.
No, |
|
Thanks for the explanations. I'm in favor of merging this PR. |
| if test "${enable_vmthreads+set}" = set; then : | ||
| enableval=$enable_vmthreads; | ||
| fi | ||
|
|
There was a problem hiding this comment.
I'm obviously in favour of merging this, but should we make --enable-vmthreads be a configure-time error if the option is passed? That'll help package maintainers clean up their configure flags if there's an actual error at build time for a release.
|
Anil Madhavapeddy (2019/03/10 14:32 -0700):
avsm commented on this pull request.
> @@ -3017,12 +3015,6 @@ else
fi
-# Check whether --enable-vmthreads was given.
-if test "${enable_vmthreads+set}" = set; then :
- enableval=$enable_vmthreads;
-fi
-
I'm obviously in favour of merging this, but should we make
`--enable-vmthreads` be a configure-time error if the option is
passed? That'll help package maintainers clean up their configure
flags if there's an actual error at build time for a release.
That sounds good to me, too. Just one thing, @avsm: beware, you used
generated code in your comment, which may be misleading. It's probably
better to comment on the diffs in `configure.ac`.
|
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
It is no longer necessary Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
|
Agreed. I updated configure.ac to error out when passing |
xavierleroy
left a comment
There was a problem hiding this comment.
I reviewed the diff and it looks good to me.
Removing code gives me much pleasure, so I'm happy to merge right now!
|
The INRIA CI appears to be broken by this change, with errors in |
|
I can reproduce locally: |
|
(to reproduce I had to |
|
The bootstrap job on Inria's CI also needed to be updated, see |
|
Got it, thanks. |
This GPR restores -vmthread with an adapted version of the deprecation message as an error message and also keeps the use_vmthreads part of ppx contexts. * Partially revert #2289 * Convert -vmthread to an error * Neuter use_vmthreads in ppx context * Remove Clflags.use_vmthreads
|
Turns out findlib needs a patch to support this. Created https://gitlab.camlcity.org/gerd/lib-findlib/merge_requests/22 - any comment welcome. I'll merge in the next days. |
|
Ah sorry about this, I only looked at the META file but I didn't try to actually build findlib. |
This PR deletes the vmthreads library that was deprecated in 4.08.