25 lines
765 B
Nix
25 lines
765 B
Nix
{ stdenv, fetchurl, automake, libtool, autoconf, intltool, perl
|
|
, gmpxx, flex, bison
|
|
}:
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "opensmt-${version}";
|
|
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";
|
|
};
|
|
}
|