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

Use more generic linux-x64 for NuGet rid. #5310

Merged
merged 1 commit into from
May 28, 2021
Merged

Use more generic linux-x64 for NuGet rid. #5310

merged 1 commit into from
May 28, 2021

Conversation

iscottb122
Copy link
Contributor

The more generic 'linux-x64' should be used as the linux rid for NuGet packages, because at the moment only 'ubuntu-x64' is included in the package. Therefore, loading in dotnet on e.g. 'debian-x64' does not work, even though there seems to be no fundamental reason it should not. As a minimal test, manually changing the rid and the associated directory path in the build output to 'linux-x64' makes everything work as expected on 'debian-x64'.

It does not appear that different shared objects (per specific distribution) are being produced anyway, so this change should have no regressions, as far as I understand it. At the very least, the rid should be changed to 'debian-x64' since this is a parent of 'ubuntu-x64' in the hierarchy, but I don't see any reason not to go to the further ancestor 'linux-x64'.

@NikolajBjorner NikolajBjorner merged commit 48beb81 into Z3Prover:master May 28, 2021
'ubuntu-18' : ('so', 'ubuntu-x64'),
'ubuntu-20' : ('so', 'ubuntu-x64'),
'glibc-2.31' : ('so', 'ubuntu-x64'),
os_info = {"z64-ubuntu-14" : ('so', 'linux-x64'),
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ubuntu-14 is probably long gone and I will remove on next occasion.
I use either 18 or default 20 these days. I understood there are some incompatibilities with 20 on downlevel platforms.

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

Successfully merging this pull request may close these issues.

2 participants