2021-10-14 00:43:12 +00:00
|
|
|
{ lib, rustPlatform, fetchFromGitHub, makeWrapper, z3, pkgsHostTarget }:
|
|
|
|
|
|
|
|
let
|
|
|
|
runtimeDeps = [
|
|
|
|
z3
|
|
|
|
pkgsHostTarget.targetPackages.stdenv.cc
|
|
|
|
];
|
|
|
|
in
|
2020-04-24 23:36:52 +00:00
|
|
|
|
|
|
|
rustPlatform.buildRustPackage rec {
|
2020-05-29 06:06:01 +00:00
|
|
|
pname = "zz";
|
2021-10-14 00:43:12 +00:00
|
|
|
version = "unstable-2021-05-04";
|
2020-04-24 23:36:52 +00:00
|
|
|
|
2021-03-09 03:18:52 +00:00
|
|
|
# when updating, choose commit of the latest build on http://bin.zetz.it/
|
2020-04-24 23:36:52 +00:00
|
|
|
src = fetchFromGitHub {
|
2021-02-05 17:12:51 +00:00
|
|
|
owner = "zetzit";
|
2020-04-24 23:36:52 +00:00
|
|
|
repo = "zz";
|
2021-10-14 00:43:12 +00:00
|
|
|
rev = "18020b10b933cfe2fc7f2256b71e646889f9b1d2";
|
|
|
|
sha256 = "01nlyyk1qxk76dq2hw3wpbjwkh27zzp6mpczjnxdpv6rxs7mc825";
|
2020-04-24 23:36:52 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
nativeBuildInputs = [ makeWrapper ];
|
|
|
|
|
2023-03-27 19:17:25 +00:00
|
|
|
cargoLock = {
|
|
|
|
lockFile = ./Cargo.lock;
|
|
|
|
outputHashes = {
|
|
|
|
"rsmt2-0.11.0" = "sha256-RwNsS0zge8uOXmgzTvDwp8AD70NspIZq0LgW/v3yrpA=";
|
|
|
|
};
|
|
|
|
};
|
2021-02-05 17:12:51 +00:00
|
|
|
|
|
|
|
postPatch = ''
|
|
|
|
# remove search path entry which would reference /build
|
|
|
|
sed -i '/env!("CARGO_MANIFEST_DIR")/d' src/lib.rs
|
|
|
|
'';
|
2020-04-24 23:36:52 +00:00
|
|
|
|
|
|
|
postInstall = ''
|
2021-02-05 17:12:51 +00:00
|
|
|
mkdir -p "$out/share/zz"
|
|
|
|
cp -r modules "$out/share/zz/"
|
|
|
|
|
|
|
|
wrapProgram $out/bin/zz \
|
2021-10-14 00:43:12 +00:00
|
|
|
--prefix PATH ":" "${lib.makeBinPath runtimeDeps}" \
|
2021-02-05 17:12:51 +00:00
|
|
|
--suffix ZZ_MODULE_PATHS ":" "$out/share/zz/modules"
|
2020-04-24 23:36:52 +00:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with lib; {
|
2021-03-09 03:18:52 +00:00
|
|
|
description = "ZetZ a zymbolic verifier and tranzpiler to bare metal C";
|
2021-02-05 17:12:51 +00:00
|
|
|
homepage = "https://github.com/zetzit/zz";
|
2020-04-24 23:36:52 +00:00
|
|
|
license = licenses.mit;
|
|
|
|
maintainers = [ maintainers.marsam ];
|
|
|
|
};
|
|
|
|
}
|