diff options
author | Luka Blaskovic <lblasc@tvbeat.com> | 2020-01-18 18:10:34 +0000 |
---|---|---|
committer | worldofpeace <worldofpeace@protonmail.ch> | 2020-01-30 18:35:30 -0500 |
commit | fd614a8e8fd557ff629457894a26c1454e4337aa (patch) | |
tree | 4e4ae7b9e8eb1351f26412030e73e6a8bdac7d69 /pkgs/applications/science/logic | |
parent | ae2a5a91ddf1923e6717ace65b5b8b92b4fd7ec4 (diff) | |
download | nixlib-fd614a8e8fd557ff629457894a26c1454e4337aa.tar nixlib-fd614a8e8fd557ff629457894a26c1454e4337aa.tar.gz nixlib-fd614a8e8fd557ff629457894a26c1454e4337aa.tar.bz2 nixlib-fd614a8e8fd557ff629457894a26c1454e4337aa.tar.lz nixlib-fd614a8e8fd557ff629457894a26c1454e4337aa.tar.xz nixlib-fd614a8e8fd557ff629457894a26c1454e4337aa.tar.zst nixlib-fd614a8e8fd557ff629457894a26c1454e4337aa.zip |
saw-tools: use default llvm
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/saw-tools/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/saw-tools/default.nix b/pkgs/applications/science/logic/saw-tools/default.nix index c4041281054f..71b26f8023a2 100644 --- a/pkgs/applications/science/logic/saw-tools/default.nix +++ b/pkgs/applications/science/logic/saw-tools/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, gmp4, ncurses, zlib, clang_35 }: +{ stdenv, fetchurl, gmp4, ncurses, zlib, clang }: let libPath = stdenv.lib.makeLibraryPath @@ -38,7 +38,7 @@ stdenv.mkDerivation { ln -s ${stdenv.cc.libc}/lib/libpthread.so.0 $out/lib/libpthread.so.0 # Add a clang symlink for easy building with a suitable compiler. - ln -s ${clang_35}/bin/clang $out/bin/saw-clang + ln -s ${clang}/bin/clang $out/bin/saw-clang ''; fixupPhase = '' |