2020-05-30 20:50:44 +02:00
|
|
|
{ genodeSources }:
|
2019-11-12 21:05:25 +01:00
|
|
|
|
2020-04-05 18:50:52 +02:00
|
|
|
let port = genodeSources.ports.stdcxx;
|
|
|
|
in genodeSources.buildUpstream {
|
|
|
|
name = "stdcxx";
|
|
|
|
outputs = [ "out" "dev" ];
|
|
|
|
targets = [ "LIB=stdcxx" ];
|
|
|
|
portInputs = [ genodeSources.ports.libc port ];
|
2020-05-30 20:50:44 +02:00
|
|
|
propagatedBuildInputs = [ genodeSources.genodeBase ];
|
2019-11-12 21:05:25 +01:00
|
|
|
|
2020-04-05 18:50:52 +02:00
|
|
|
STDCXX_PORT = port;
|
|
|
|
postInstall = ''
|
|
|
|
mkdir -p $dev/include
|
2019-11-12 21:05:25 +01:00
|
|
|
|
2020-04-05 18:50:52 +02:00
|
|
|
pushd $STDCXX_PORT/*
|
|
|
|
cp -r --no-preserve=mode \
|
|
|
|
include/stdcxx/* \
|
|
|
|
$GENODE_DIR/repos/libports/include/stdcxx/* \
|
|
|
|
$dev/include/
|
|
|
|
popd
|
2019-11-12 21:05:25 +01:00
|
|
|
'';
|
|
|
|
}
|