diff options
author | Shadaj Laddad <shadaj@users.noreply.github.com> | 2022-04-04 20:30:47 +0000 |
---|---|---|
committer | Shadaj Laddad <shadaj@users.noreply.github.com> | 2022-04-06 21:20:40 +0000 |
commit | 74b7319023a3428d2d2acb761c6e4a3489211684 (patch) | |
tree | 2e52699552256b919741d8b7ef101228c003c949 /pkgs/applications/science/logic/cvc5 | |
parent | 2d1621012c52e4e6af53903d06a3017a77b3eff3 (diff) |
cvc5: init at 1.0.0
Diffstat (limited to 'pkgs/applications/science/logic/cvc5')
-rw-r--r-- | pkgs/applications/science/logic/cvc5/default.nix | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/cvc5/default.nix b/pkgs/applications/science/logic/cvc5/default.nix new file mode 100644 index 0000000000000..c1bf56b45d5b3 --- /dev/null +++ b/pkgs/applications/science/logic/cvc5/default.nix @@ -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 ]; + }; +} |