From 07ae003db7dec0a2f5fdc68d9828d730e4db2936 Mon Sep 17 00:00:00 2001
From: Pekka Enberg <penberg@iki.fi>
Date: Fri, 20 Dec 2024 09:22:44 +0200
Subject: [PATCH] Update PERF.md

---
 PERF.md | 41 +++--------------------------------------
 1 file changed, 3 insertions(+), 38 deletions(-)

diff --git a/PERF.md b/PERF.md
index 65509f7b8..def290cae 100644
--- a/PERF.md
+++ b/PERF.md
@@ -2,48 +2,13 @@
 
 ## Mobibench
 
-1. Clone Mobibench source repository:
+1. Clone the source repository of Mobibench fork for Limbo:
 
 ```console
-git clone git@github.com:ESOS-Lab/Mobibench.git
+git clone git@github.com:penberg/Mobibench.git
 ```
 
-2. Patch Mobibench:
-
-```patch
-diff --git a/shell/Makefile b/shell/Makefile
-index 6b65351..262ab5f 100644
---- a/shell/Makefile
-+++ b/shell/Makefile
-@@ -4,8 +4,7 @@
- 
- EXENAME = mobibench
- 
--SRCS = mobibench.c \
--         sqlite3.c
-+SRCS = mobibench.c
- 
- INSTALL = install
- 
-@@ -14,6 +13,8 @@ bindir = $(prefix)/bin
- 
- CFLAGS = -lpthread -ldl
- 
-+LIBS = <limbo-git-tree>/target/release/liblimbo_sqlite3.a -lm
-+
- #CFLAGS += -DDEBUG_SCRIPT
- 
- #for sqltie3
-@@ -37,7 +38,7 @@ CFLAGS += -DNDEBUG=1 \
-      --static
- 
- all :
--       $(CROSS)gcc -o $(EXENAME) $(SRCS) $(CFLAGS)
-+       $(CROSS)gcc -o $(EXENAME) $(SRCS) $(CFLAGS) $(LIBS)
- 
- clean :
-        @rm -rf mobibench
-```
+2. Change `LIBS` in `shell/Makefile` to point to your Limbo source repository.
 
 3. Build Mobibench: