You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
52 lines
1.1 KiB
52 lines
1.1 KiB
#!/bin/bash
|
|
|
|
# CBMC SpecGen Web Interface 启动脚本
|
|
# Author: Claude Code Assistant
|
|
# Description: 启动CBMC SpecGen Web界面
|
|
|
|
echo "🚀 CBMC SpecGen Web Interface 启动脚本"
|
|
echo "=================================="
|
|
|
|
# 检查Python环境
|
|
if ! command -v python3 &> /dev/null; then
|
|
echo "❌ Python3 未安装"
|
|
echo "请安装Python3: sudo apt-get install python3 python3-pip python3-venv"
|
|
exit 1
|
|
fi
|
|
|
|
# 检查CBMC
|
|
if ! command -v cbmc &> /dev/null; then
|
|
echo "❌ CBMC 未安装"
|
|
echo "请安装CBMC: sudo apt-get install cbmc"
|
|
exit 1
|
|
fi
|
|
|
|
echo "✅ 环境检查通过"
|
|
|
|
# 进入后端目录
|
|
cd "$(dirname "$0")/backend"
|
|
|
|
# 检查虚拟环境
|
|
if [ ! -d "venv" ]; then
|
|
echo "📦 创建虚拟环境..."
|
|
python3 -m venv venv
|
|
fi
|
|
|
|
# 激活虚拟环境
|
|
echo "🔄 激活虚拟环境..."
|
|
source venv/bin/activate
|
|
|
|
# 安装依赖
|
|
echo "📦 检查并安装依赖..."
|
|
pip install -r requirements.txt > /dev/null 2>&1
|
|
|
|
# 创建临时目录
|
|
mkdir -p temp
|
|
|
|
echo "🌐 启动Web服务器..."
|
|
echo "访问地址: http://localhost:8080"
|
|
echo "按 Ctrl+C 停止服务器"
|
|
echo ""
|
|
|
|
# 启动Flask服务器
|
|
python app.py |