@ -23,7 +23,7 @@ in rec {
genode-base-nova = genode.base-nova;
genode-os = genode.os;
libc = callPackage ./pkgs/libc { inherit depot; };
stdcxx = callPackage ./pkgs/stdcxx { inherit depot; };
stdcxx = callPackage ./pkgs/stdcxx { };
dhallGenode = dhallPackages.genode;
dhallPrelude = dhallPackages.prelude;
@ -18,8 +18,8 @@ in stdenv.mkDerivation rec {
dontBuild = true;
installPhase = ''
cflags=$NIX_CXXSTDLIB_COMPILE \
substituteAll ${./stdcxx.pc} ${pname}.pc
cflags=$NIX_CXXSTDLIB_COMPILE libs=$NIX_CXXSTDLIB_LINK \
mkdir -p $out/lib/pkgconfig
install -Dm444 *.pc $out/lib/pkgconfig
'';
@ -3,3 +3,4 @@ Description: Genode Standard C++ library
Version: @version@
Requires: libc libm
Cflags: @cflags@
Libs: @libs@