blob: f9f021b15f0702949ea10828e316470f14c91f25 (
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 {
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";
};
}
|