4aa937d2e2
Previously zz wouldn't be able to compile anything using standard modules like mem or log out of the box. To fix this we copy the modules directory included in the source to $out/share/zz/modules and add an entry to ZZ_MODULE_PATHS in the wrapper around zz. We also remove a search path entry which used to reference /build because it used CARGO_MANIFEST_DIR at build time. The default search path now includes: * /nix/store/modules * $out/share/zz/modules * $(pwd)/modules Patching out /nix/store/modules would be kind of cumbersome as it is a multi-line entry, but it probably does no harm and fine to leave in. An issue arising by this PR might be that the added search path entry may take priority over an user specified location even though we use --suffix. This is because zz internally uses a HashSet which has no guaranteed iteration order. This may lead to unexpected behavior for users wo previously provided custom versions of the standard modules via ZZ_MODULE_PATHS. However, this is an issue in upstream issue as well where ZZ_MODULE_PATHS may or may not take priority over the compiled in search path, so this issue should probably be resolved upstream (I'll file a report or PR).
39 lines
1000 B
Nix
39 lines
1000 B
Nix
{ lib, rustPlatform, fetchFromGitHub, makeWrapper, z3 }:
|
|
|
|
rustPlatform.buildRustPackage rec {
|
|
pname = "zz";
|
|
version = "0.1";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "zetzit";
|
|
repo = "zz";
|
|
rev = version;
|
|
sha256 = "0kqrfm2r9wn0p2c3lcprsy03p9qhrwjs990va8qi59jp704l84ad";
|
|
};
|
|
|
|
nativeBuildInputs = [ makeWrapper ];
|
|
|
|
cargoSha256 = "0yllcqxyyhwr9h0z8q84l0ms8x6jrqhpg79ik4xng6h5yf4ab0pq";
|
|
|
|
postPatch = ''
|
|
# remove search path entry which would reference /build
|
|
sed -i '/env!("CARGO_MANIFEST_DIR")/d' src/lib.rs
|
|
'';
|
|
|
|
postInstall = ''
|
|
mkdir -p "$out/share/zz"
|
|
cp -r modules "$out/share/zz/"
|
|
|
|
wrapProgram $out/bin/zz \
|
|
--prefix PATH ":" "${lib.getBin z3}/bin" \
|
|
--suffix ZZ_MODULE_PATHS ":" "$out/share/zz/modules"
|
|
'';
|
|
|
|
meta = with lib; {
|
|
description = "🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C";
|
|
homepage = "https://github.com/zetzit/zz";
|
|
license = licenses.mit;
|
|
maintainers = [ maintainers.marsam ];
|
|
};
|
|
}
|