update dockerfile

Author: Makiras

docker/Dockerfile.demo

@@ -10,4 +10,4 @@ RUN mkdir tutorial && \
 
 RUN git clone https://github.com/OpenXiangShan/XSPdb.git --depth=1 && \
     cd XSPdb && \
-    pip3 install -r requirements.txt
+    make init

docker/Dockerfile.full

@@ -0,0 +1,12 @@
+#!/bin/bash
+
+REGISTRY='ghcr.io'
+IMAGE_NAME='xs-mlvp/envbase'
+IMAGE_TAG='latest'
+
+# Build the base image
+sudo docker build \
+    --network host \
+    -t $REGISTRY/$IMAGE_NAME:$IMAGE_TAG \
+    -f docker/Dockerfile \
+    .

docker/build-scripts/build-base.sh

@@ -0,0 +1,16 @@
+#!/bin/bash
+
+# whereis this script located?
+PATH_TO_SCRIPT=$(dirname "$(readlink -f "$0")")
+${PATH_TO_SCRIPT}/build-base.sh
+
+REGISTRY='ghcr.io'
+IMAGE_NAME='xs-mlvp/envfull'
+IMAGE_TAG='latest'
+
+# Build the full image
+sudo docker build \
+    --network host \
+    -t $REGISTRY/$IMAGE_NAME:$IMAGE_TAG \
+    -f docker/Dockerfile.full \
+    .