replace compose-file with direct docker command + add dbeaver recipe

docker-compose.yaml

@@ -1,11 +0,0 @@
-services:
-  fail-db:
-    image: mysql
-    container_name: fail-db
-    environment:
-      MYSQL_ROOT_PASSWORD: fail
-      MYSQL_USER: fail
-      MYSQL_PASSWORD: fail
-      MYSQL_DATABASE: fail
-    ports:
-      - "3306:3306"

justfile

@@ -37,7 +37,7 @@ WAMRCFLAGS := "\
 "
 XXD := "xxd"
 
-# Load AOT from WAMR
+# Load AOT from WAMR (FAIL+Baremetal)
 
 CROSS_CFLAGS := "\
 -I./targets/wasm-host \
@@ -147,15 +147,32 @@ FAIL_SERVER := "generic-experiment-server --database-option-file ./db.conf"
 FAIL_INJECT := "generic-experiment-client"
 RESULT_BROWSER := "resultbrowser.py -c ./db.conf"
 
-[doc("Start MySQL to receive FAIL* trace/campaign results")]
+[doc("Start MySQL container to receive FAIL* trace/campaign results")]
 [group("fail")]
 start-db:
-    docker compose up
+    docker run -d \
+        --name fail-db \
+        -e MYSQL_ROOT_PASSWORD=fail \
+        -e MYSQL_USER=fail \
+        -e MYSQL_PASSWORD=fail \
+        -e MYSQL_DATABASE=fail \
+        -p 3306:3306 \
+        mysql
 
-[doc("Stop MySQL")]
+[doc("Connect to MySQL database using DBeaver")]
+[group("fail")]
+connect-db:
+    dbeaver -con "name=fail|driver=mysql|host=localhost|port=3306|database=fail|user=fail|password=fail"
+
+[doc("Stop MySQL container")]
 [group("fail")]
 stop-db:
-    docker compose down
+    docker stop fail-db
+
+[doc("Remove MySQL container")]
+[group("fail")]
+remove-db:
+    docker container rm fail-db
 
 [doc("Trace a golden run using FAIL*")]
 [group("fail")]
@@ -176,6 +193,11 @@ trace module:
         -Wf,--elf-file={{ BUILD_DIR }}-{{ module }}/system.elf
     @echo "Next step: \"just import {{ module }}\""
 
+# [doc("Dump a FAIL* golden run trace")]
+# [group("fail")]
+# dump module:
+#     {{ FAIL_DUMP }} {{ BUILD_DIR }}-{{ module }}/trace.pb
+
 [doc("Import a FAIL* golden run trace")]
 [group("fail")]
 import module: