blob: 9e5ebe008b8f3df66bcb3a93d23f0ad0d6736123 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
{ 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";
};
}
|