Merge pull request #166740 from shadaj/init-cvc5-symfpu
cvc5: init at 1.0.0 & symfpu: init at 8fbe139bmain
commit
615e5e10c1
@ -0,0 +1,34 @@ |
|||||||
|
{ lib, stdenv, fetchFromGitHub, pkg-config, cmake, cadical, symfpu, gmp, git, python3, gtest, libantlr3c, antlr3_4, boost, jdk }: |
||||||
|
|
||||||
|
stdenv.mkDerivation rec { |
||||||
|
pname = "cvc5"; |
||||||
|
version = "1.0.0"; |
||||||
|
|
||||||
|
src = fetchFromGitHub { |
||||||
|
owner = "cvc5"; |
||||||
|
repo = "cvc5"; |
||||||
|
rev = "cvc5-${version}"; |
||||||
|
sha256 = "03sxqwmlajffmv7lncqs1bx8gyihkpnikk87q9wjrd4776n13ign"; |
||||||
|
}; |
||||||
|
|
||||||
|
nativeBuildInputs = [ pkg-config cmake ]; |
||||||
|
buildInputs = [ cadical.dev symfpu gmp git python3 python3.pkgs.toml gtest libantlr3c antlr3_4 boost jdk ]; |
||||||
|
|
||||||
|
preConfigure = '' |
||||||
|
patchShebangs ./src/ |
||||||
|
''; |
||||||
|
|
||||||
|
cmakeFlags = [ |
||||||
|
"-DCMAKE_BUILD_TYPE=Production" |
||||||
|
"-DBUILD_SHARED_LIBS=1" |
||||||
|
"-DANTLR3_JAR=${antlr3_4}/lib/antlr/antlr-3.4-complete.jar" |
||||||
|
]; |
||||||
|
|
||||||
|
meta = with lib; { |
||||||
|
description = "A high-performance theorem prover and SMT solver"; |
||||||
|
homepage = "https://cvc5.github.io"; |
||||||
|
license = licenses.gpl3Only; |
||||||
|
platforms = platforms.unix; |
||||||
|
maintainers = with maintainers; [ shadaj ]; |
||||||
|
}; |
||||||
|
} |
@ -0,0 +1,26 @@ |
|||||||
|
{ lib, stdenv, fetchFromGitHub }: |
||||||
|
|
||||||
|
stdenv.mkDerivation rec { |
||||||
|
pname = "symfpu"; |
||||||
|
version = "unstable-2019-05-17"; |
||||||
|
|
||||||
|
src = fetchFromGitHub { |
||||||
|
owner = "martin-cs"; |
||||||
|
repo = "symfpu"; |
||||||
|
rev = "8fbe139bf0071cbe0758d2f6690a546c69ff0053"; |
||||||
|
sha256 = "1jf5lkn67q136ppfacw3lsry369v7mdr1rhidzjpbz18jfy9zl9q"; |
||||||
|
}; |
||||||
|
|
||||||
|
installPhase = '' |
||||||
|
mkdir -p $out/symfpu |
||||||
|
cp -r * $out/symfpu/ |
||||||
|
''; |
||||||
|
|
||||||
|
meta = with lib; { |
||||||
|
description = "A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point"; |
||||||
|
homepage = "https://github.com/martin-cs/symfpu"; |
||||||
|
license = licenses.gpl3Only; |
||||||
|
platforms = platforms.unix; |
||||||
|
maintainers = with maintainers; [ shadaj ]; |
||||||
|
}; |
||||||
|
} |
Loading…
Reference in new issue