Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

texlab: update to 3.0.1. (3.2.0 is available) #31093

Closed
wants to merge 4 commits into from

Conversation

gbrlsnchs
Copy link
Contributor

@gbrlsnchs gbrlsnchs commented May 24, 2021

General

Have the results of the proposed changes been tested?

  • I use the packages affected by the proposed changes on a regular basis and confirm this PR works for me
  • I generally don't use the affected packages but briefly tested this PR

ericonr and others added 4 commits May 12, 2021 14:20
06-strip-and-debug.

Currently fails with a hard to understand error message:

    2021-04-16T11:51:36.1074291Z => ERROR: rust-std-1.51.0_1: post-install_06-strip-and-debug-pkgs: '$STRIPCMD --strip-unneeded "$f"' exited with 1
- rebase patches
- fix type of 'llvm-unwind' in config.toml
- move linux_musl_base stuff to a single patch which makes it behave just line linux_gnu_base
- copy new version of need-ssp_nonshared.patch from alpine
- temporary workaround for the new rust-llvm-dwp binary: it's copied
  from the llvm toolchain and shoved into /usr/lib, but they copied the
  binary from the build machine

Also disable tests in CI.
@alberdingk-thijm
Copy link

Is this still held up on rust being updated? Looks like the latest texlab is now 3.2.0 (as of this post).

@ericonr
Copy link
Member

ericonr commented Jul 4, 2021

Ping :)

@gbrlsnchs
Copy link
Contributor Author

Folks, I'm not on Void right now, thus I can't tackle this. Would any of you please take this over? 😄

@ericonr ericonr changed the title [pending on rust update] texlab: update to 3.0.1. texlab: update to 3.0.1. (3.2.0 is available) Jul 9, 2021
@ericonr ericonr added the help wanted Extra attention is needed label Jul 9, 2021
@ericonr
Copy link
Member

ericonr commented Jul 9, 2021

I added a label so people cans see it, but won't tackle myself.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
help wanted Extra attention is needed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants