mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-25 15:13:46 +00:00
9bb3fccb5b
continuation of #109595 pkgconfig was aliased in 2018, however, it remained in all-packages.nix due to its wide usage. This cleans up the remaining references to pkgs.pkgsconfig and moves the entry to aliases.nix. python3Packages.pkgconfig remained unchanged because it's the canonical name of the upstream package on pypi.
46 lines
1.2 KiB
Nix
46 lines
1.2 KiB
Nix
{ lib, stdenv, fetchFromGitHub, cmake, cln, gmp, git, swig, pkg-config
|
|
, readline, libantlr3c, boost, jdk, python3, antlr3_4
|
|
}:
|
|
|
|
stdenv.mkDerivation rec {
|
|
pname = "cvc4";
|
|
version = "1.8";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "cvc4";
|
|
repo = "cvc4";
|
|
rev = version;
|
|
sha256 = "1rhs4pvzaa1wk00czrczp58b2cxfghpsnq534m0l3snnya2958jp";
|
|
};
|
|
|
|
nativeBuildInputs = [ pkg-config cmake ];
|
|
buildInputs = [ gmp git python3.pkgs.toml cln readline swig libantlr3c antlr3_4 boost jdk python3 ];
|
|
configureFlags = [
|
|
"--enable-language-bindings=c,c++,java"
|
|
"--enable-gpl"
|
|
"--with-cln"
|
|
"--with-readline"
|
|
"--with-boost=${boost.dev}"
|
|
];
|
|
|
|
prePatch = ''
|
|
patch -p1 -i ${./minisat-fenv.patch} -d src/prop/minisat
|
|
patch -p1 -i ${./minisat-fenv.patch} -d src/prop/bvminisat
|
|
'';
|
|
|
|
preConfigure = ''
|
|
patchShebangs ./src/
|
|
'';
|
|
cmakeFlags = [
|
|
"-DCMAKE_BUILD_TYPE=Production"
|
|
];
|
|
|
|
meta = with lib; {
|
|
description = "A high-performance theorem prover and SMT solver";
|
|
homepage = "http://cvc4.cs.stanford.edu/web/";
|
|
license = licenses.gpl3;
|
|
platforms = platforms.unix;
|
|
maintainers = with maintainers; [ vbgl thoughtpolice gebner ];
|
|
};
|
|
}
|