3 commits

Author	SHA1	Message	Date
John Ericson	26ea905312	Include more deps for the dev shell ... When we get rid of the make build system, we would be missing things. Incuding these packages' deps ensure we don't miss things.	2024-11-04 15:48:08 -05:00
John Ericson	9e1bc9c224	Make the choice of stdenv for the dev shell properly affect all deps ... We have per-stdenv package sets, so we should be using them.	2024-11-04 15:47:54 -05:00
John Ericson	39fd4705ac	Factor out the dev shell ... It had gotten rather big. Hopefully we'll eventually have some generic infra for a "multi-package dev shell" and not need so much code for this, but until then it's better in a separate file.	2024-11-04 15:14:20 -05:00