ci: avoid rebuilding bindgen and friends

merge-requests/638/head
Matthias Ahouansou 2 months ago
parent 96cc1f6abd
commit 3d9d975a9f
No known key found for this signature in database

@ -21,6 +21,7 @@ let
}; };
in in
{ {
NIX_OUTPATH_USED_AS_RANDOM_SEED = "randomseed"; # https://crane.dev/faq/rebuilds-bindgen.html
ROCKSDB_INCLUDE_DIR = "${rocksdb'}/include"; ROCKSDB_INCLUDE_DIR = "${rocksdb'}/include";
ROCKSDB_LIB_DIR = "${rocksdb'}/lib"; ROCKSDB_LIB_DIR = "${rocksdb'}/lib";
} }

Loading…
Cancel
Save