安装 C* 工具链

目前，C* 支持的平台包括 darwin-x64darwin-x64、darwin-aarch64darwin-aarch64 以及 linux-x64linux-x64。 Windows 平台暂无原生支持；Windows 用户可以通过 WSL 或 Docker 使用 C* 工具链。

1. 在 VSCode 中搜索并安装 CStar Language 扩展（pre-release）。
2. 通过 ctrl+shift+pctrl+shift+p（macOS 上为 shift+cmd+pshift+cmd+p）快捷键打开命令面板，键入并选择 CStar IDE: Download CStar ToolchainCStar IDE: Download CStar Toolchain。
3. 在弹出的对话框中确认安装脚本来源为 https://cstarlang.orghttps://cstarlang.org，然后点击 “Yes” 开始下载。
4. 等待下载完成后，VSCode 会提示重启并启用扩展；如果没有提示，可以手动重启 VSCode。
5. 新建一个文件夹（例如 hellohello），在其中初始化 C* 项目（例如 cd hello ; cstarc initcd hello ; cstarc init），然后在 VSCode 中打开。

6. 将 clangdclangd 指向 C* 修改版（cst_clangdcst_clangd）以获得更好的编辑体验。

   • 选项一：通过 VSCode 设置界面将工作空间的 clangd.pathclangd.path 设置为 cst_clangdcst_clangd。
   • 选项二：在 .vscode/settings.json.vscode/settings.json 中添加 { "clangd.path": "cst_clangd" }{ "clangd.path": "cst_clangd" }。
   • 如果编辑 C* 文件时仍提示未识别的 C* 语法，可再次重启 VSCode。

1. 在 Linux 或 macOS 上执行 curl -fsSL https://cstarlang.org/install/unix.sh | bashcurl -fsSL https://cstarlang.org/install/unix.sh | bash。
2. 通过 cstarc --helpcstarc --help 获取命令行工具的使用说明。

我们提供预置了 C* 工具链的 Docker 镜像，可用作 VSCode Dev Container，无需在本地安装工具链。

1. 拉取预制镜像：docker pull stonebuddha/cstar:latestdocker pull stonebuddha/cstar:latest。
2. 在项目根目录下创建 .devcontainer/devcontainer.json.devcontainer/devcontainer.json，内容如下。
3. 在 VSCode 中安装 Dev Containers 扩展，然后执行命令 Dev Containers: Reopen in ContainerDev Containers: Reopen in Container。

{
  "name": "C* (CStar)",
  "image": "stonebuddha/cstar:latest",
  "customizations": {
    "vscode": {
      "extensions": [
        "cstar-team.cstarlang@prerelease",
        "llvm-vs-code-extensions.vscode-clangd"
      ],
      "settings": {
        "clangd.path": "cst_clangd",
        "clangd.checkUpdates": false
      }
    }
  }
}

{
  "name": "C* (CStar)",
  "image": "stonebuddha/cstar:latest",
  "customizations": {
    "vscode": {
      "extensions": [
        "cstar-team.cstarlang@prerelease",
        "llvm-vs-code-extensions.vscode-clangd"
      ],
      "settings": {
        "clangd.path": "cst_clangd",
        "clangd.checkUpdates": false
      }
    }
  }
}