49 lines
856 B
Nix
49 lines
856 B
Nix
|
{ pkgs ? import <nixpkgs> {} }: with pkgs;
|
||
|
|
||
|
pkgs.mkShell {
|
||
|
name = "genode-dev-env";
|
||
|
nativeBuildInputs =
|
||
|
[ (import ./errata/toolchain.nix { inherit pkgs; })
|
||
|
stdenv.glibc.dev
|
||
|
git tup
|
||
|
ccache
|
||
|
tcl
|
||
|
gnumake
|
||
|
which
|
||
|
findutils
|
||
|
autoconf264
|
||
|
autogen
|
||
|
|
||
|
expect libxml2 syslinux qemu xorriso
|
||
|
|
||
|
# libc
|
||
|
flex bison
|
||
|
|
||
|
# virtualbox
|
||
|
yasm libxslt iasl
|
||
|
|
||
|
# qt5
|
||
|
gperf
|
||
|
qt5.full
|
||
|
|
||
|
# ncurses
|
||
|
mawk
|
||
|
|
||
|
# fb_sdl
|
||
|
pkgconfig
|
||
|
SDL.dev
|
||
|
alsaLib.dev
|
||
|
|
||
|
# ncurses port needs infocmp
|
||
|
ncurses
|
||
|
];
|
||
|
|
||
|
shellHook =
|
||
|
''
|
||
|
export PROMPT_DIRTRIM=2
|
||
|
export PS1="\[\033[1;30m\]Genode-dev [\[\033[1;37m\]\w\[\033[1;30m\]] $\[\033[0m\] "
|
||
|
export PS2="\[\033[1;30m\]>\[\033[0m\] "
|
||
|
'';
|
||
|
# Setup a prompt with a distinct appearance
|
||
|
}
|