diff options
Diffstat (limited to 'ebpf/shell')
| -rwxr-xr-x | ebpf/shell | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ebpf/shell b/ebpf/shell new file mode 100755 index 000000000..e67db800f --- /dev/null +++ b/ebpf/shell @@ -0,0 +1,12 @@ +#!/usr/bin/env sh + +shell() { + nix shell nixos-unstable#llvmPackages_13.{llvm,lld,clang-unwrapped,llvm-manpages,clang-manpages,bintools} nixos-unstable#{binutils,linuxHeaders,bpftool,libbpf} "$@" +} + +rm -rf include +mkdir -p include +shell -c rsync -r $(nix path-info nixos-unstable#linuxHeaders)/include/ include/ +shell -c rsync -r $(nix path-info nixos-unstable#libbpf)/include/ include/ +chmod -R u+rwX include +shell |