#!/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