From abd0a014e852d41d25320f6ccd19ac1de4156f96 Mon Sep 17 00:00:00 2001
From: Charles Hall <charles@computer.surgery>
Date: Sat, 17 Jun 2023 17:04:57 -0700
Subject: [PATCH] nixpkgs' rocksdb is too old :(

---
 flake.nix | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/flake.nix b/flake.nix
index ba8e8297..5de5621a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -43,10 +43,6 @@
         sha256 = "sha256-gdYqng0y9iHYzYPAdkC/ka3DRny3La/S5G8ASj0Ayyc=";
       };
 
-      # The system's RocksDB
-      ROCKSDB_INCLUDE_DIR = "${pkgs.rocksdb_6_23}/include";
-      ROCKSDB_LIB_DIR = "${pkgs.rocksdb_6_23}/lib";
-
       # Shared between the package and the devShell
       nativeBuildInputs = (with pkgs.rustPlatform; [
         bindgenHook
@@ -61,9 +57,7 @@
 
         inherit
           stdenv
-          nativeBuildInputs
-          ROCKSDB_INCLUDE_DIR
-          ROCKSDB_LIB_DIR;
+          nativeBuildInputs;
       };
 
       devShells.default = (pkgs.mkShell.override { inherit stdenv; }) {
@@ -71,10 +65,6 @@
         # sources, and it can read this environment variable to do so
         RUST_SRC_PATH = "${toolchain.rust-src}/lib/rustlib/src/rust/library";
 
-        inherit
-          ROCKSDB_INCLUDE_DIR
-          ROCKSDB_LIB_DIR;
-
         # Development tools
         nativeBuildInputs = nativeBuildInputs ++ (with toolchain; [
           cargo