compose.yml

# Container name is IMPORTANT. 
# It is used in the vite.config.js file to proxy the requests to the backend and other services.
# If you change the container name, you need to update the vite.config.js file as well.
# redisinsight and pgadmin are optional. You can remove them if you don't need them.
services:
  frontend:
    build: 
      context: ./frontend
      args:
        VITE_FMP_API_URL: http://127.0.0.1:8000/api
        VITE_FMP_VERSION: dev
    container_name: fmp-frontend
    env_file:
      - .env
    ports:
      - "5173:5173"
    networks:
      - my_network
    restart: unless-stopped

  backend:
    build:
      context: ./backend
    container_name: fmp-backend
    env_file:
      - .env
    ports:
      - "8000:8000"
    depends_on: # Remove if you use sqlite
      postgres:
        condition: service_healthy
    networks:
      - my_network
    restart: unless-stopped

  # Remove if you use sqlite
  postgres:
    image: postgres:15.4
    container_name: fmp-db
    environment:
      POSTGRES_USER: postgres
      POSTGRES_PASSWORD: postgres
      POSTGRES_DB: postgres
    volumes:
      - postgres_data:/var/lib/postgresql/data
    healthcheck:
      test: [ "CMD-SHELL", "pg_isready -U postgres" ]
      interval: 5s
      timeout: 5s
      retries: 5
    env_file:
      - .env
    networks:
      - my_network
    restart: unless-stopped

  smt-z3:
    build:
      context: ./z3-api
      dockerfile: Dockerfile
    container_name: fmp-z3-api
    environment:
      API_URL: http://fmp-backend:8000/
      REDIS_URL: redis://redis:6379/0
    depends_on:
      - redis
    networks:
      - my_network
  
  nuxmv:
    build:
      context: ./nuxmv-api
      dockerfile: Dockerfile
    container_name: fmp-nuxmv-api
    environment:
      API_URL: http://fmp-backend:8000/
      REDIS_URL: redis://redis:6379/0
    depends_on:
      - redis
    networks:
      - my_network
  
  alloy:
    build:
      context: ./alloy-api
    container_name: fmp-alloy-api
    environment:
      API_URL: http://fmp-backend:8000/
    networks:
      - my_network
    restart: unless-stopped

  spectra:
    build:
      context: ./spectra-api
      dockerfile: Dockerfile
    container_name: fmp-spectra-api
    environment:
      API_URL: http://fmp-backend:8000/
      REDIS_URL: redis://redis:6379/0
    depends_on:
      - redis
    networks:
      - my_network

  limboole:
    build:
      context: ./limboole-api
      dockerfile: Dockerfile
    container_name: fmp-limboole-api
    environment:
      API_URL: http://fmp-backend:8000/
      REDIS_URL: redis://redis:6379/0
    depends_on:   # Remove if you don't use redis
      - redis   
    networks:
      - my_network

  limboole-diff:
    build:
      context: ./limboole-diff-api
      dockerfile: Dockerfile
    container_name: fmp-limboole-diff-api
    environment:
      API_URL: http://fmp-backend:8000/
      REDIS_URL: redis://redis:6379/0
    depends_on:   # Remove if you don't use redis
      - redis
    networks:
      - my_network

  smt-diff:
    build:
      context: ./smt-diff-api
      dockerfile: Dockerfile
    container_name: fmp-diff-smt-api
    environment:
      API_URL: http://fmp-backend:8000/
      REDIS_URL: redis://redis:6379/0
    depends_on:  # Remove if you don't use redis
      - redis
    networks:
      - my_network

  dafny-api:
    build:
      context: ./dafny-api
      dockerfile: Dockerfile
    container_name: fmp-dafny-api
    env_file:
      - .env
    restart: unless-stopped
    environment:
      USE_GVISOR: "true"
      API_URL: ${API_URL:-http://fmp-backend:8000/}
    volumes:
      - /var/run/docker.sock:/var/run/docker.sock
      - /tmp/dafny-exec:/tmp/dafny-exec
    networks:
      - my_network

  
  dafny-lsp:
    build:
      context: ./dafny-lsp-proxy
      dockerfile: Dockerfile
    container_name: fmp-dafny-lsp
    env_file:
      - .env
    restart: unless-stopped
    environment:
      API_URL: ${API_URL:-http://fmp-backend:8000/}
    networks:
      - my_network

  # Optional: Collaborative editing server (set VITE_COLLAB_ENABLED=true in frontend to enable)
  collab-server:
    build:
      context: ./collab-server
    container_name: fmp-collab-server
    networks:
      - my_network
    restart: unless-stopped
      
  redis:
    image: redis:alpine
    container_name: fmp-redis
    ports:
      - "6379:6379"
    networks:
      - my_network

  redisinsight:
    image: redis/redisinsight:latest
    container_name: fmp-redisinsight
    ports:
      - "5540:5540"
    networks:
      - my_network

  pgadmin:
    image: dpage/pgadmin4:latest
    container_name: fmp-pgadmin
    environment:
      PGADMIN_DEFAULT_EMAIL: soaib@soaib.me
      PGADMIN_DEFAULT_PASSWORD: Soaib@123
    ports:
      - "5050:80"
    volumes:
      - pgadmin_data:/var/lib/pgadmin
    networks:
      - my_network

networks:
  my_network:
    external: true

volumes:
  pgadmin_data:
  postgres_data: