Add stdcxx package

packages.nix

@@ -23,6 +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; };
 
   dhallGenode = dhallPackages.genode;
   dhallPrelude = dhallPackages.prelude;

pkgs/stdcxx/default.nix

@@ -0,0 +1,26 @@
+# SPDX-FileCopyrightText: Emery Hemingway
+#
+# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+
+{ stdenvNoCC, llvmPackages }:
+
+let
+  stdenv = stdenvNoCC;
+  inherit (llvmPackages) libcxx;
+in stdenv.mkDerivation rec {
+  pname = "stdcxx";
+  inherit (libcxx) version meta;
+
+  buildInputs = [ libcxx ];
+
+  dontUnpack = true;
+  dontConfigure = true;
+  dontBuild = true;
+
+  installPhase = ''
+    cflags=$NIX_CXXSTDLIB_COMPILE \
+      substituteAll ${./stdcxx.pc} ${pname}.pc
+    mkdir -p $out/lib/pkgconfig
+    install -Dm444 *.pc $out/lib/pkgconfig
+  '';
+}

pkgs/stdcxx/stdcxx.pc

@@ -0,0 +1,5 @@
+Name: stdcxx
+Description: Genode Standard C++ library
+Version: @version@
+Requires: libc libm
+Cflags:  @cflags@