25 lines
551 B
Nix
25 lines
551 B
Nix
# SPDX-License-Identifier: CC0-1.0
|
|
|
|
{ genodeSources }:
|
|
|
|
let port = genodeSources.ports.stdcxx;
|
|
in genodeSources.buildUpstream {
|
|
name = "stdcxx";
|
|
outputs = [ "out" "dev" ];
|
|
targets = [ "LIB=stdcxx" ];
|
|
portInputs = [ genodeSources.ports.libc port ];
|
|
propagatedBuildInputs = [ genodeSources.genodeBase ];
|
|
|
|
STDCXX_PORT = port;
|
|
postInstall = ''
|
|
mkdir -p $dev/include
|
|
|
|
pushd $STDCXX_PORT/*
|
|
cp -r --no-preserve=mode \
|
|
include/stdcxx/* \
|
|
$GENODE_DIR/repos/libports/include/stdcxx/* \
|
|
$dev/include/
|
|
popd
|
|
'';
|
|
}
|