feat: add dev container

Author: Chronostasys

.devcontainer/devcontainer.json

@@ -0,0 +1,32 @@
+// For format details, see https://aka.ms/devcontainer.json. For config options, see the
+// README at: https://github.com/devcontainers/templates/tree/main/src/docker-existing-dockerfile
+{
+	"name": "Existing Dockerfile",
+	"build": {
+		// Sets the run context to one level up instead of the .devcontainer folder.
+		"context": "..",
+		// Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename.
+		"dockerfile": "../Dockerfile.dev"
+	},
+	"features": {
+		"ghcr.io/devcontainers/features/rust:1": {
+			"version": "latest",
+			"profile": "minimal"
+		}
+	}
+
+	// Features to add to the dev container. More info: https://containers.dev/features.
+	// "features": {},
+
+	// Use 'forwardPorts' to make a list of ports inside the container available locally.
+	// "forwardPorts": [],
+
+	// Uncomment the next line to run commands after the container is created.
+	// "postCreateCommand": "cat /etc/os-release",
+
+	// Configure tool-specific properties.
+	// "customizations": {},
+
+	// Uncomment to connect as an existing user other than the container default. More info: https://aka.ms/dev-containers-non-root.
+	// "remoteUser": "devcontainer"
+}

.devcontainer/first-run-notice.txt

@@ -0,0 +1,5 @@
+👋 Welcome to Codespaces! You are on our Pivot-Lang's dev image. 
+
+You need to run `make devlinux && source ~/.bashrc` on the project root before start developing.
+
+For any cargo build issues, please try `cargo clean`, and rerun the build command.

Dockerfile.dev

@@ -0,0 +1,9 @@
+FROM mcr.microsoft.com/devcontainers/base:ubuntu AS runner
+COPY ./.devcontainer/first-run-notice.txt /tmp/scripts/
+RUN mv -f /tmp/scripts/first-run-notice.txt /usr/local/etc/vscode-dev-containers/
+COPY ./setup-llvm.sh .
+RUN apt-get update && apt-get install -y gnupg2 software-properties-common cmake
+RUN apt-get update && apt-get install -y lsb-release wget && apt-get clean all
+RUN ./setup-llvm.sh
+RUN apt update
+RUN apt install -y git libxml2 build-essential libunwind-dev

Makefile

@@ -13,6 +13,7 @@ vm:
 	@cd vm && cargo build --release
 
 vmdebug:
+	@mkdir -p target/release
 	@cd vm && cargo build
 	@cp target/debug/libvm.a target/release/libvm.a
 

book/src/dev-prepare.md

@@ -46,3 +46,16 @@ make test
 如果上方命令都成功执行，那么恭喜你，你已经成功配置了开发环境
 
 
+## 使用github codespace 进行开发
+
+使用github codespace进行开发的环境配置较为简单，但是请注意费用问题。
+
+
+点击以下链接即可创建一个包含pl开发环境的codespace
+
+[create codespace](https://github.com/codespaces/new?machine=standardLinux32gb&repo=535925143&ref=master&devcontainer_path=.devcontainer%2Fdevcontainer.json&location=SouthEastAsia)
+
+创建完毕后，建议使用本地vscode打开codespace中的项目进行开发
+
+
+

setup-llvm.sh

@@ -0,0 +1,37 @@
+#!/bin/bash
+
+# This script install the correct LLVM release for Debian & Ubuntu distros.
+
+set -eux
+
+LLVM_VERSION=14
+DISTRO=$(lsb_release -is)
+VERSION=$(lsb_release -sr)
+DIST_VERSION="${DISTRO}_${VERSION}"
+
+# Find the right repository name for the distro and version
+case "$DIST_VERSION" in
+    Debian_9* )       REPO_NAME="deb http://apt.llvm.org/stretch/  llvm-toolchain-stretch-$LLVM_VERSION main" ;;
+    Debian_10* )      REPO_NAME="deb http://apt.llvm.org/buster/   llvm-toolchain-buster-$LLVM_VERSION  main" ;;
+    Debian_unstable ) REPO_NAME="deb http://apt.llvm.org/unstable/ llvm-toolchain-$LLVM_VERSION         main" ;;
+    Debian_testing )  REPO_NAME="deb http://apt.llvm.org/unstable/ llvm-toolchain-$LLVM_VERSION         main" ;;
+    Ubuntu_16.04 )    REPO_NAME="deb http://apt.llvm.org/xenial/   llvm-toolchain-xenial-$LLVM_VERSION  main" ;;
+    Ubuntu_18.04 )    REPO_NAME="deb http://apt.llvm.org/bionic/   llvm-toolchain-bionic-$LLVM_VERSION  main" ;;
+    Ubuntu_18.10 )    REPO_NAME="deb http://apt.llvm.org/cosmic/   llvm-toolchain-cosmic-$LLVM_VERSION  main" ;;
+    Ubuntu_19.04 )    REPO_NAME="deb http://apt.llvm.org/disco/    llvm-toolchain-disco-$LLVM_VERSION   main" ;;
+    Ubuntu_19.10 )   REPO_NAME="deb http://apt.llvm.org/eoan/      llvm-toolchain-eoan-$LLVM_VERSION    main" ;;
+    Ubuntu_20.04 )   REPO_NAME="deb http://apt.llvm.org/focal/     llvm-toolchain-focal-$LLVM_VERSION   main" ;;
+    Ubuntu_22.04 )   REPO_NAME="deb http://apt.llvm.org/jammy/     llvm-toolchain-jammy-$LLVM_VERSION   main" ;;
+    Ubuntu_22.10 )   REPO_NAME="deb http://apt.llvm.org/kinetic/   llvm-toolchain-kinetic-$LLVM_VERSION main" ;;
+    * )
+        echo "Distribution '$DISTRO' in version '$VERSION' is not supported by this script (${DIST_VERSION})."
+        exit 2
+esac
+
+# Add the right repository for the distro
+wget -qO - https://apt.llvm.org/llvm-snapshot.gpg.key | apt-key add -
+add-apt-repository "${REPO_NAME}"
+apt-get update
+
+# Install required packages
+apt-get install -y llvm-$LLVM_VERSION llvm-$LLVM_VERSION-* liblld-$LLVM_VERSION* libpolly-$LLVM_VERSION-dev