From 2b63e46fc5c4234823a1d71b2a7eac4ee15cd9be Mon Sep 17 00:00:00 2001
From: Charles Hall <charles@computer.surgery>
Date: Tue, 4 Apr 2023 16:47:08 -0700
Subject: [PATCH] use system rocksdb

This mostly just improves build times.
---
 flake.nix | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/flake.nix b/flake.nix
index e10e8bbb..baa3261d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -36,6 +36,10 @@
         sha256 = "sha256-8len3i8oTwJSOJZMosGGXHBL5BVuGQnWOT2St5YAUFU=";
       };
 
+      # Point to system RocksDB
+      ROCKSDB_INCLUDE_DIR = "${pkgs.rocksdb_6_23}/include";
+      ROCKSDB_LIB_DIR = "${pkgs.rocksdb_6_23}/lib";
+
       builder = (pkgs.callPackage naersk {
         inherit (toolchain) rustc cargo;
       }).buildPackage;
@@ -44,6 +48,9 @@
       packages.default = builder {
         src = ./.;
 
+        # Use system RocksDB
+        inherit ROCKSDB_INCLUDE_DIR ROCKSDB_LIB_DIR;
+
         nativeBuildInputs = (with pkgs.rustPlatform; [
           bindgenHook
         ]);
@@ -54,6 +61,9 @@
         # sources, and it can read this environment variable to do so
         RUST_SRC_PATH = "${toolchain.rust-src}/lib/rustlib/src/rust/library";
 
+        # Use system RocksDB
+        inherit ROCKSDB_INCLUDE_DIR ROCKSDB_LIB_DIR;
+
         # Development tools
         nativeBuildInputs = (with pkgs.rustPlatform; [
           bindgenHook