Commit 13342caa authored by Thomas Gerbet's avatar Thomas Gerbet
Browse files

saw-tools: format

parent 144310f6

pkgs/by-name/sa/saw-tools/package.nix

+27 −16
Original line number Diff line number Diff line 
{ lib, stdenv, fetchurl, gmp4, ncurses, zlib, clang }:

{

  lib,

  stdenv,

  fetchurl,

  gmp4,

  ncurses,

  zlib,

  clang,

}:



let

  libPath = lib.makeLibraryPath

    [ stdenv.cc.libc

  libPath =

    lib.makeLibraryPath [

      stdenv.cc.libc

      stdenv.cc.cc

      gmp4

      ncurses

      zlib

    ] + ":${lib.getLib stdenv.cc.cc}/lib64";

    ]

    + ":${lib.getLib stdenv.cc.cc}/lib64";



  url = "https://github.com/GaloisInc/saw-script/releases/download";



  saw-bin =

    if stdenv.hostPlatform.system == "i686-linux"

    then fetchurl {

    if stdenv.hostPlatform.system == "i686-linux" then

      fetchurl {

        url = url + "/v0.1.1-dev/saw-0.1.1-dev-2015-07-31-CentOS6-32.tar.gz";

        sha256 = "126iag5nnvndi78c921z7vjrjfwcspn1hlxwwhzmqm4rvbhhr9v9";

      }

    else fetchurl {

    else

      fetchurl {

        url = url + "/v0.1.1-dev/saw-0.1.1-dev-2015-07-31-CentOS6-64.tar.gz";

        sha256 = "07gyf319v6ama6n1aj96403as04bixi8mbisfy7f7va689zklflr";

      };