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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add missing -lrapidcheck fixing build with shared lib #9431

Merged
merged 1 commit into from
Nov 22, 2023

Conversation

Ericson2314
Copy link
Member

@Ericson2314 Ericson2314 commented Nov 22, 2023

Motivation

NixOS/nixpkgs#269064 makes rapidcheck be build as a shared lib, but that broke Nix because the -lrapidcheck was missing. This fixes that (and doesn't break Nix what the library is a static archive as today).

Context

NixOS/nixpkgs#269064 found the issue; it now applies this as a patch.

Priorities

Add 馃憤 to pull requests you find important.

NixOS/nixpkgs#269064 makes rapidcheck be build
as a shared lib, but that broke Nix because the `-lrapidcheck` was
missing. This fixes that (and doesn't break Nix what the library is a
static archive as today).
@github-actions github-actions bot added the with-tests Issues related to testing. PRs with tests have some priority label Nov 22, 2023
@Ericson2314 Ericson2314 added backport 2.14-maintenance Automatically creates a PR against the branch backport 2.15-maintenance Automatically creates a PR against the branch backport 2.16-maintenance Automatically creates a PR against the branch backport 2.17-maintenance Automatically creates a PR against the branch backport 2.18-maintenance Automatically creates a PR against the branch backport 2.19-maintenance Automatically creates a PR against the branch labels Nov 22, 2023
Ericson2314 added a commit to obsidiansystems/nixpkgs that referenced this pull request Nov 22, 2023
@Ericson2314 Ericson2314 merged commit 7155df0 into NixOS:master Nov 22, 2023
15 checks passed
Copy link

Successfully created backport PR for 2.14-maintenance:

Copy link

Successfully created backport PR for 2.15-maintenance:

Copy link

Successfully created backport PR for 2.16-maintenance:

Copy link

Successfully created backport PR for 2.17-maintenance:

Copy link

Successfully created backport PR for 2.18-maintenance:

Copy link

Successfully created backport PR for 2.19-maintenance:

@Ericson2314 Ericson2314 deleted the fix-rapidcheck-shared branch November 22, 2023 04:48
github-actions bot pushed a commit to NixOS/nixpkgs that referenced this pull request Nov 22, 2023
Ericson2314 added a commit to obsidiansystems/nixpkgs that referenced this pull request Nov 22, 2023
Backporting NixOS/nix#9431

(cherry picked from commit 98bdc2b)
(cherry picked from commit 640ada0)
dawidd6 pushed a commit to dawidd6/nixpkgs that referenced this pull request Nov 24, 2023
SuperSandro2000 pushed a commit to SuperSandro2000/nixpkgs that referenced this pull request Nov 24, 2023
gepbird pushed a commit to gepbird/nixpkgs that referenced this pull request Nov 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport 2.14-maintenance Automatically creates a PR against the branch backport 2.15-maintenance Automatically creates a PR against the branch backport 2.16-maintenance Automatically creates a PR against the branch backport 2.17-maintenance Automatically creates a PR against the branch backport 2.18-maintenance Automatically creates a PR against the branch backport 2.19-maintenance Automatically creates a PR against the branch with-tests Issues related to testing. PRs with tests have some priority
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant