From 67255b05fde581b7cf54afedc74bb079368af426 Mon Sep 17 00:00:00 2001
From: Rot127 <unisono@quyllur.org>
Date: Sun, 10 Nov 2024 06:50:17 -0500
Subject: [PATCH] Use make.sh for v5

---
 debian/Dockerfile | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/debian/Dockerfile b/debian/Dockerfile
index 39d784d43b..08e6b824d4 100644
--- a/debian/Dockerfile
+++ b/debian/Dockerfile
@@ -15,16 +15,13 @@ RUN mkdir /capstone
 COPY . /capstone
 WORKDIR /capstone/ 
 
-# Using cmake, see BUILDING.md file
-# For debug build change "Release" to "Debug"
-RUN cmake -B build -DCMAKE_BUILD_TYPE=Release -DBUILD_SHARED_LIBS=1
-RUN cmake --build build
+# Run cmake install, by default everything goes into /usr/local
+RUN make.sh
 
 # List files before cmake install
 # RUN find / -type f > /before-install.txt
 
-# Run cmake install, by default everything goes into /usr/local
-RUN cmake --install build
+RUN make.sh install
 
 # List files after cmake install
 # RUN find / -type f > /after-install.txt