dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

cryptol: add a convenient clang/lss wrapper

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2014-05-09 22:12:28 -05:00
parent 552db25e7f
commit f1dc681538
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/compilers/cryptol/1.8.x.nix
View File

@ -1,4 +1,4 @@
{ stdenv, requireFile, gmp4, ncurses, zlib, makeWrapper }: { stdenv, requireFile, gmp4, ncurses, zlib, clang_33, makeWrapper }:
let let
name = "cryptol-${version}-${rev}"; name = "cryptol-${version}-${rev}";
@ -87,6 +87,9 @@ stdenv.mkDerivation rec {
mv ${lss-ver}/bin/lss $out/bin mv ${lss-ver}/bin/lss $out/bin
mv ${lss-ver}/sym-api $out/include 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 # Hack around lack of libtinfo in NixOS
ln -s ${ncurses}/lib/libncursesw.so.5.9 $out/lib/libtinfo.so.5 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 ln -s ${stdenv.gcc.libc}/lib/libpthread-2.19.so $out/lib/libpthread.so.0