nixpkgs/pkgs/applications/science/logic/opensmt/default.nix
volth 46420bbaa3 treewide: name -> pname (easy cases) (#66585)
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
2019-08-15 13:41:18 +01:00

26 lines
753 B
Nix

{ stdenv, fetchurl, automake, libtool, autoconf, intltool, perl
, gmpxx, flex, bison
}:
stdenv.mkDerivation rec {
pname = "opensmt";
version = "20101017";
src = fetchurl {
url = "http://opensmt.googlecode.com/files/opensmt_src_${version}.tgz";
sha256 = "0xrky7ixjaby5x026v7hn72xh7d401w9jhccxjn0khhn1x87p2w1";
};
buildInputs = [ automake libtool autoconf intltool perl gmpxx flex bison ];
meta = with stdenv.lib; {
description = "A satisfiability modulo theory (SMT) solver";
maintainers = [ maintainers.raskin ];
platforms = platforms.linux;
license = licenses.gpl3;
homepage = http://code.google.com/p/opensmt/;
broken = true;
downloadPage = "http://code.google.com/p/opensmt/downloads/list";
};
}