From d5525b469a5535723ba801679910ece34b8d31ce Mon Sep 17 00:00:00 2001
From: aurelf <aurelien.francillon@eurecom.fr>
Date: Mon, 19 Feb 2024 12:33:44 +0300
Subject: [PATCH] Adding QEMU own checks to Dockerfile (CI) and improve
 README.md (#43)

---
 Dockerfile |  3 +++
 README.md  | 12 ++++++------
 2 files changed, 9 insertions(+), 6 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 8a529d93ce..ab8333a32e 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -35,5 +35,8 @@ RUN ./configure                                                       \
 
 RUN make -j
 
+# Run QEMU base checks
+RUN make check
+
 WORKDIR /symqemu_source/tests/symqemu
 RUN python3 -m unittest test.py
diff --git a/README.md b/README.md
index cce352e45a..419ea83835 100644
--- a/README.md
+++ b/README.md
@@ -32,7 +32,8 @@ and binaries. The following invocation is known to work on Debian 10, Arch and
 Fedora 33:
 
 ``` shell
-
+$ mkdir build
+$ cd build
 $ ../configure                                                    \
       --audio-drv-list=                                           \
       --disable-sdl                                               \
@@ -42,15 +43,14 @@ $ ../configure                                                    \
       --disable-virglrenderer                                     \
       --disable-werror                                            \
       --target-list=x86_64-linux-user                             \
-      --symcc-source=</path/to/symcc>/sources                     \
-      --symcc-build=</path/to/symcc>/build
-
-$ make
+      --symcc-source=../symcc                                     \
+      --symcc-build=../symcc/build
+$ make -j
 ```
 
 This will build a relatively stripped-down emulator targeting 64-bit x86
 binaries. We also have experimental support for AARCH64. Working with 32-bit
-target architectures are possible in principle but will require a bit of work
+target architectures is possible in principle but will require a bit of work
 because the current implementation assumes that we can pass around host pointers
 in guest registers.