mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-29 18:33:00 +00:00
571c71e6f7
We are migrating packages that meet below requirements:
1. using `callPackage`
2. called path is a directory
3. overriding set is empty (`{ }`)
4. not containing path expressions other than relative path (to
makenixpkgs-vet happy)
5. not referenced by nix files outside of the directory, other
than`pkgs/top-level/all-packages.nix`
6. not referencing nix files outside of the directory
7. not referencing `default.nix` (since it's changed to `package.nix`)
8. `outPath` doesn't change after migration
The tool is here: https://github.com/Aleksanaa/by-name-migrate.
63 lines
1.3 KiB
Nix
63 lines
1.3 KiB
Nix
{ stdenv
|
|
, fetchFromGitHub
|
|
, lib
|
|
, python3
|
|
, meson
|
|
, ninja
|
|
, git
|
|
, btor2tools
|
|
, symfpu
|
|
, gtest
|
|
, gmp
|
|
, cadical
|
|
, cryptominisat
|
|
, zlib
|
|
, pkg-config
|
|
}:
|
|
|
|
stdenv.mkDerivation (finalAttrs: {
|
|
pname = "bitwuzla";
|
|
version = "0.6.0";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "bitwuzla";
|
|
repo = "bitwuzla";
|
|
rev = finalAttrs.version;
|
|
hash = "sha256-xO9+hixboGaCAIi01sWuIYtPamIwUpiTujmOD60NEm0=";
|
|
};
|
|
|
|
strictDeps = true;
|
|
|
|
nativeBuildInputs = [ meson pkg-config git ninja ];
|
|
buildInputs = [
|
|
cadical
|
|
cryptominisat
|
|
btor2tools
|
|
symfpu
|
|
gmp
|
|
zlib
|
|
];
|
|
|
|
mesonFlags = [
|
|
# note: the default value for default_library fails to link dynamic dependencies
|
|
# but setting it to shared works even in pkgsStatic
|
|
"-Ddefault_library=shared"
|
|
|
|
(lib.strings.mesonEnable "testing" finalAttrs.finalPackage.doCheck)
|
|
];
|
|
|
|
nativeCheckInputs = [ python3 ];
|
|
checkInputs = [ gtest ];
|
|
# two tests fail on darwin
|
|
doCheck = stdenv.hostPlatform.isLinux;
|
|
|
|
meta = {
|
|
description = "SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions";
|
|
mainProgram = "bitwuzla";
|
|
homepage = "https://bitwuzla.github.io";
|
|
license = lib.licenses.mit;
|
|
platforms = lib.platforms.unix;
|
|
maintainers = with lib.maintainers; [ symphorien ];
|
|
};
|
|
})
|