Adding QEMU own checks to Dockerfile (CI) and improve README.md (#43)

eurecom-s3 · Feb 19, 2024 · d5525b4 · d5525b4
1 parent 04e8855
commit d5525b4
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 6 deletions.
diff --git 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
@@ -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.