From 9a3e683ca31910e7147cda62714e2e4136edc40a Mon Sep 17 00:00:00 2001
From: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Date: Wed, 12 Jun 2024 14:54:17 +0200
Subject: [PATCH] Bump vlog

---
 nix/pkgs/vlog/default.nix                | 11 ++++---
 nix/pkgs/vlog/patches/vlog-cstdint.patch | 37 ++++++++++++++++++++++++
 2 files changed, 44 insertions(+), 4 deletions(-)
 create mode 100644 nix/pkgs/vlog/patches/vlog-cstdint.patch

diff --git a/nix/pkgs/vlog/default.nix b/nix/pkgs/vlog/default.nix
index ab1f51f5f..6a93d3894 100644
--- a/nix/pkgs/vlog/default.nix
+++ b/nix/pkgs/vlog/default.nix
@@ -20,14 +20,14 @@
 in
   stdenv.mkDerivation rec {
     pname = "vlog";
-    version = "unstable-2022-11-25";
+    version = "unstable-2023-07-16";
     src = pkgs.fetchFromGitHub {
       owner = "karmaresearch";
       repo = "vlog";
       #  rev = "v${version}";
       # 'rev' and 'sha256' point to the latest VLog master branch tag/commit we want to test
-      rev = "ca63a3c6b32b0c4e5c099b645ff3d51a89212c76";
-      sha256 = "uyOSE01zc+D5Fqrex/fUespBKZgh+vDaAN/vE3ZW3RY=";
+      rev = "10e23c7453b93876b93c69a51c030aef962b9348";
+      hash = "sha256-NApmZ9wz0d87XyrWrOhOJU/Ph7QAEMec1ZZLZYXBqcs=";
     };
 
     buildInputs = [kognac trident sparsehash jdk curl lz4];
@@ -44,7 +44,10 @@ in
       "-DTRIDENT_INC=${trident}/share/include"
     ];
     # this patch forces CMake to prefer our provided lz4 library.
-    patches = [./patches/vlog-lz4.patch];
+    patches = [
+      ./patches/vlog-lz4.patch
+      ./patches/vlog-cstdint.patch
+    ];
 
     postInstall = ''
       mkdir -p $out/bin
diff --git a/nix/pkgs/vlog/patches/vlog-cstdint.patch b/nix/pkgs/vlog/patches/vlog-cstdint.patch
new file mode 100644
index 000000000..09ae4be39
--- /dev/null
+++ b/nix/pkgs/vlog/patches/vlog-cstdint.patch
@@ -0,0 +1,37 @@
+From 288f9e1cbf42ee981cdfd2dc5250d1a4308df068 Mon Sep 17 00:00:00 2001
+From: Maximilian Marx <mmarx@wh2.tu-dresden.de>
+Date: Wed, 12 Jun 2024 15:08:23 +0200
+Subject: [PATCH] Fix missing include
+
+---
+ src/vlog/ml/LogisticRegression.cpp | 1 +
+ src/vlog/ml/helper.cpp             | 1 +
+ 2 files changed, 2 insertions(+)
+
+diff --git a/src/vlog/ml/LogisticRegression.cpp b/src/vlog/ml/LogisticRegression.cpp
+index bc7dae2..ab68fda 100644
+--- a/src/vlog/ml/LogisticRegression.cpp
++++ b/src/vlog/ml/LogisticRegression.cpp
+@@ -5,6 +5,7 @@
+ #include <vlog/ml/LogisticRegression.h>
+ #include <cstdlib>
+ #include <cassert>
++#include <cstdint>
+ #include <vlog/ml/helper.h>
+ 
+ using namespace std;
+diff --git a/src/vlog/ml/helper.cpp b/src/vlog/ml/helper.cpp
+index 245f21d..34929ad 100644
+--- a/src/vlog/ml/helper.cpp
++++ b/src/vlog/ml/helper.cpp
+@@ -5,6 +5,7 @@
+ #include <sstream>
+ #include <iostream>
+ #include <ctime>
++#include <cstdint>
+ #include <vlog/ml/helper.h>
+ 
+ using namespace std;
+-- 
+2.44.1
+