diff options
author | Symphorien Gibol <symphorien+git@xlumurb.eu> | 2017-07-18 10:20:34 +0200 |
---|---|---|
committer | Franz Pletz <fpletz@fnordicwalking.de> | 2017-07-18 23:50:31 +0200 |
commit | d7103eadc8bd1e9e66fc6cf0ff3d739a9e73ec32 (patch) | |
tree | c373a4f83069e3c6790bd27eb1b824385615b815 /pkgs/applications/science/logic/boolector | |
parent | 2f9f70ba89b4591a267c7d812827557d2dc71d52 (diff) | |
download | nixpkgs-d7103eadc8bd1e9e66fc6cf0ff3d739a9e73ec32.tar nixpkgs-d7103eadc8bd1e9e66fc6cf0ff3d739a9e73ec32.tar.gz nixpkgs-d7103eadc8bd1e9e66fc6cf0ff3d739a9e73ec32.tar.bz2 nixpkgs-d7103eadc8bd1e9e66fc6cf0ff3d739a9e73ec32.tar.lz nixpkgs-d7103eadc8bd1e9e66fc6cf0ff3d739a9e73ec32.tar.xz nixpkgs-d7103eadc8bd1e9e66fc6cf0ff3d739a9e73ec32.tar.zst nixpkgs-d7103eadc8bd1e9e66fc6cf0ff3d739a9e73ec32.zip |
boolector: 1.{5,6} -> 2.4.1
Diffstat (limited to 'pkgs/applications/science/logic/boolector')
-rw-r--r-- | pkgs/applications/science/logic/boolector/default.nix | 47 |
1 files changed, 11 insertions, 36 deletions
diff --git a/pkgs/applications/science/logic/boolector/default.nix b/pkgs/applications/science/logic/boolector/default.nix index 37d25c9e947..2b40995b743 100644 --- a/pkgs/applications/science/logic/boolector/default.nix +++ b/pkgs/applications/science/logic/boolector/default.nix @@ -1,48 +1,23 @@ -{ stdenv, fetchurl, zlib, useV16 ? false }: +{ stdenv, fetchurl }: -let - v15 = rec { - name = "boolector-${version}"; - version = "1.5.118"; - src = fetchurl { - url = "http://fmv.jku.at/boolector/${name}-with-sat-solvers.tar.gz"; - sha256 = "17j7q02rryvfwgvglxnhx0kv8hxwy8wbhzawn48lw05i98vxlmk9"; - }; +stdenv.mkDerivation rec { + name = "boolector-${version}"; + version = "2.4.1"; + src = fetchurl { + url = "http://fmv.jku.at/boolector/boolector-${version}-with-lingeling-bbc.tar.bz2"; + sha256 = "0mdf7hwix237pvknvrpazcx6s3ininj5k7vhysqjqgxa7lxgq045"; }; - v16 = rec { - name = "boolector-${version}"; - version = "1.6.0"; - src = fetchurl { - url = "http://fmv.jku.at/boolector/${name}-with-sat-solvers.tar.gz"; - sha256 = "0jka4r6bc3i24axgdp6qbq6gjadwz9kvi11s2c5sbwmdnjd7cp85"; - }; - }; - - boolectorPkg = if useV16 then v16 else v15; - license = with stdenv.lib.licenses; if useV16 then unfreeRedistributable else gpl3; -in -stdenv.mkDerivation (boolectorPkg // { - buildInputs = [ - zlib zlib.static (stdenv.lib.getOutput "static" stdenv.cc.libc) - ]; - - enableParallelBuilding = false; - installPhase = '' - mkdir -p $out/bin $out/lib $out/include - cp boolector/boolector $out/bin - cp boolector/deltabtor $out/bin - cp boolector/synthebtor $out/bin - cp boolector/libboolector.a $out/lib - cp boolector/boolector.h $out/include + mkdir $out + mv boolector/bin $out ''; meta = { - inherit license; + license = stdenv.lib.licenses.unfreeRedistributable; description = "An extremely fast SMT solver for bit-vectors and arrays"; homepage = "http://fmv.jku.at/boolector"; platforms = stdenv.lib.platforms.linux; maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; }; -}) +} |