From f1dc6815388ad164482b336ca8e37f45de0e9554 Mon Sep 17 00:00:00 2001 From: Austin Seipp Date: Fri, 9 May 2014 22:12:28 -0500 Subject: [PATCH] cryptol: add a convenient clang/lss wrapper Signed-off-by: Austin Seipp --- pkgs/development/compilers/cryptol/1.8.x.nix | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/pkgs/development/compilers/cryptol/1.8.x.nix b/pkgs/development/compilers/cryptol/1.8.x.nix index db216d1dad4..42887b22ab0 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