Skip to content

better pkg config path for devshell + access to variants from project #1760

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

Merged
merged 3 commits into from
Oct 21, 2022

Conversation

jbgi
Copy link
Contributor

@jbgi jbgi commented Oct 19, 2022

No description provided.

 that manually going through pkg-config of all packages.
 Also filter out non-derivation from nativeBuildInputs.
@jbgi jbgi requested review from hamishmack and michaelpj October 19, 2022 16:44
@jbgi jbgi force-pushed the devshell-better-pkg-config-path branch from c83fba5 to 711d6e1 Compare October 19, 2022 17:33
@jbgi jbgi force-pushed the devshell-better-pkg-config-path branch from 711d6e1 to 7fa35bf Compare October 19, 2022 17:35
@michaelpj
Copy link
Collaborator

No opinion on the variants stuff, I'm still on team functions. Could we also split out the devshell code into a simple function? AFAICT it only uses final.shell, so it's literally just a function Shell -> DevShell.

@jbgi jbgi force-pushed the devshell-better-pkg-config-path branch 3 times, most recently from 42ddb6e to 97cd059 Compare October 21, 2022 14:01
@jbgi jbgi force-pushed the devshell-better-pkg-config-path branch from 97cd059 to 88821e4 Compare October 21, 2022 14:02
@jbgi
Copy link
Contributor Author

jbgi commented Oct 21, 2022

@michaelpj done in last commit.

@michaelpj
Copy link
Collaborator

bors try

iohk-bors bot added a commit that referenced this pull request Oct 21, 2022
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Oct 21, 2022

@michaelpj michaelpj merged commit fe0ca50 into master Oct 21, 2022
@iohk-bors iohk-bors bot deleted the devshell-better-pkg-config-path branch October 21, 2022 16:30
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