Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit 9c8282362a - Show all commits

View File

@@ -20,16 +20,5 @@ stdenv.mkDerivation rec {
ref = "master";
};
# Fix the search path
configurePhase = ''
sed -i "s@^PRV_LIB_PATH=.*@PRV_LIB_PATH=$out/lib/nanos6@" Makefile
'';
installPhase = ''
mkdir -p $out/bin
cp cn6 dur $out/bin
mkdir -p $out/lib/nanos6
cp prv.so $out/lib/nanos6/
'';
makeFlags = [ "PREFIX=$(out)" ];
}