diff --git a/pkgs/development/compilers/cryptol/1.8.x.nix b/pkgs/development/compilers/cryptol/1.8.x.nix index db216d1dad41..42887b22ab07 100644 --- a/pkgs/development/compilers/cryptol/1.8.x.nix +++ b/pkgs/development/compilers/cryptol/1.8.x.nix @@ -1,4 +1,4 @@ -{ stdenv, requireFile, gmp4, ncurses, zlib, makeWrapper }: +{ stdenv, requireFile, gmp4, ncurses, zlib, clang_33, makeWrapper }: let name = "cryptol-${version}-${rev}"; @@ -87,6 +87,9 @@ stdenv.mkDerivation rec { mv ${lss-ver}/bin/lss $out/bin mv ${lss-ver}/sym-api $out/include + # Create a convenient 'lss-clang' wrapper pointing to a valid Clang verison + ln -s ${clang_33}/bin/clang $out/bin/lss-clang + # Hack around lack of libtinfo in NixOS ln -s ${ncurses}/lib/libncursesw.so.5.9 $out/lib/libtinfo.so.5 ln -s ${stdenv.gcc.libc}/lib/libpthread-2.19.so $out/lib/libpthread.so.0