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

Provide OpenSUSE / SUSE Enterprise Server / RHEL binaries #1444

Open
hzeller opened this issue Sep 12, 2022 · 7 comments
Open

Provide OpenSUSE / SUSE Enterprise Server / RHEL binaries #1444

hzeller opened this issue Sep 12, 2022 · 7 comments
Labels
releases binary release packages

Comments

@hzeller
Copy link
Collaborator

hzeller commented Sep 12, 2022

OpenSUSE is a linux distribution used in the wild, so it would be good if we could provide release binaries for it as well.

(context: https://groups.google.com/g/verible-users/c/Z-iTXOakQUY )

@hzeller
Copy link
Collaborator Author

hzeller commented Sep 12, 2022

Unai, do you think this would be easy to do ?

@fangism fangism added the releases binary release packages label Sep 12, 2022
@hzeller
Copy link
Collaborator Author

hzeller commented Sep 13, 2022

The user in question uses SUSE Enterprise Server 12.

@hzeller hzeller changed the title Provide OpenSUSE binaries Provide OpenSUSE / SUSE Enterprise Server binaries Sep 13, 2022
@umarcor
Copy link
Contributor

umarcor commented Sep 14, 2022

I can't find SUSE Enterprise Server containers. There are https://hub.docker.com/r/opensuse/tumbleweed and https://hub.docker.com/r/opensuse/leap. Hence, it should be possible to generate pre-built binaries for opensuse, but I doubt those can be guaranteed to work on different versions of it.

See also:

@umarcor umarcor removed their assignment Sep 14, 2022
@hzeller
Copy link
Collaborator Author

hzeller commented Sep 14, 2022

Might be already a good starting point. In particular if we bulid the binaries mostly static s we already do for the rest ( BAZEL_LINKOPTS / BAZEL_LINKLIBS).

(In the particular case, it turned out that the user was then abel to run binaries we built for Ubuntu 16, so that particular distribution might've been pretty old, libc-wise)

@hzeller hzeller changed the title Provide OpenSUSE / SUSE Enterprise Server binaries Provide OpenSUSE / SUSE Enterprise Server / RHEL binaries Sep 14, 2022
@hzeller
Copy link
Collaborator Author

hzeller commented Sep 14, 2022

While at it: RHEL is also often used in some enterprise contexts. Are there also RHEL containers we can use to build for these ?

@umarcor
Copy link
Contributor

umarcor commented Sep 14, 2022

With regard to RHEL, see #1301.

@hzeller
Copy link
Collaborator Author

hzeller commented Apr 14, 2023

Since we now have static binaries https://github.com/chipsalliance/verible/releases
... more efforts for various Linux distributions might not be needed anymore

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
releases binary release packages
Projects
None yet
Development

No branches or pull requests

3 participants