Merge master into staging-next

This commit is contained in:
github-actions[bot]
2021-05-13 00:56:26 +00:00
committed by GitHub
31 changed files with 438 additions and 149 deletions

View File

@@ -53,7 +53,7 @@ stdenv.mkDerivation {
# Add the packInstall path to the swipl pack search path
postPatch = ''
echo "user:file_search_path(pack, '$out/lib/swipl/pack')." >> /build/$sourceRoot/boot/init.pl
echo "user:file_search_path(pack, '$out/lib/swipl/pack')." >> boot/init.pl
'';
nativeBuildInputs = [ cmake pkg-config ];