ciao: fix dangling symlinks

This commit is contained in:
Xiangyan Sun
2026-04-16 23:51:30 -07:00
parent f97e195236
commit dd55d55dc1

View File

@@ -14,6 +14,12 @@ stdenv.mkDerivation (finalAttrs: {
sha256 = "sha256-jsHz50+R/bs19ees3kKYalYk72ET9eSAAUY7QogI0go=";
};
postPatch = ''
# hotfix https://github.com/ciao-lang/ciao/issues/122
substituteInPlace builder/sh_src/build_car.sh \
--replace-fail 'ln -s "$i" "$b"' 'ln -sr "$i" "$b"'
'';
configurePhase = ''
./ciao-boot.sh configure --instype=global --prefix=$prefix
'';