diff options
| author | Pascal Wittmann <PascalWittmann@gmx.net> | 2017-02-08 09:20:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-08 09:20:43 +0100 |
| commit | 39f2bf09760003dbc868644434d34c38adae1fdc (patch) | |
| tree | 33052181d95845533d31a43504e10df7afdb2088 /pkgs | |
| parent | 01ca916411fca7947be55f549ea644c9d0688e9a (diff) | |
| parent | ac72948c94421bbc714076992e21953d78f67205 (diff) | |
| download | nixpkgs-39f2bf09760003dbc868644434d34c38adae1fdc.tar nixpkgs-39f2bf09760003dbc868644434d34c38adae1fdc.tar.gz nixpkgs-39f2bf09760003dbc868644434d34c38adae1fdc.tar.bz2 nixpkgs-39f2bf09760003dbc868644434d34c38adae1fdc.tar.lz nixpkgs-39f2bf09760003dbc868644434d34c38adae1fdc.tar.xz nixpkgs-39f2bf09760003dbc868644434d34c38adae1fdc.tar.zst nixpkgs-39f2bf09760003dbc868644434d34c38adae1fdc.zip | |
Merge pull request #22468 from taktoa/souper
souper: init at 2017-01-05
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/compilers/souper/default.nix | 56 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 58 insertions, 0 deletions
diff --git a/pkgs/development/compilers/souper/default.nix b/pkgs/development/compilers/souper/default.nix new file mode 100644 index 00000000000..74e1cbf68d3 --- /dev/null +++ b/pkgs/development/compilers/souper/default.nix @@ -0,0 +1,56 @@ +{ stdenv, fetchFromGitHub, cmake, makeWrapper +, llvmPackages_39, hiredis, z3_opt, gtest +}: + +let + klee = fetchFromGitHub { + owner = "klee"; + repo = "klee"; + rev = "a743d7072d9ccf11f96e3df45f25ad07da6ad9d6"; + sha256 = "0qwzs029vlba8xz362n4b00hdm2z3lzhzmvix1r8kpbfrvs8vv91"; + }; +in stdenv.mkDerivation { + name = "souper-unstable-2017-01-05"; + + src = fetchFromGitHub { + owner = "google"; + repo = "souper"; + rev = "1be75fe6a96993b57dcba038798fe6d1c7d113eb"; + sha256 = "0r8mjb88lwz9a3syx7gwsxlwfg0krffaml04ggaf3ad0cza2mvm8"; + }; + + nativeBuildInputs = [ + cmake + makeWrapper + ]; + + buildInputs = [ + llvmPackages_39.llvm + llvmPackages_39.clang-unwrapped + hiredis + gtest + ]; + + enableParallelBuilding = true; + + preConfigure = '' + mkdir -pv third_party + cp -R "${klee}" third_party/klee + ''; + + installPhase = '' + mkdir -pv $out/bin + cp -v ./souper $out/bin/ + cp -v ./clang-souper $out/bin/ + wrapProgram "$out/bin/souper" \ + --add-flags "-z3-path=\"${z3_opt}/bin/z3\"" + ''; + + meta = with stdenv.lib; { + description = "A superoptimizer for LLVM IR"; + homepage = "https://github.com/google/souper"; + license = licenses.asl20; + maintainers = with maintainers; [ taktoa ]; + platforms = with platforms; linux; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index fbdd1f9588d..47535f0ac0a 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -3852,6 +3852,8 @@ with pkgs; sonata = callPackage ../applications/audio/sonata { }; + souper = callPackage ../development/compilers/souper { }; + sparsehash = callPackage ../development/libraries/sparsehash { }; spiped = callPackage ../tools/networking/spiped { }; |