# A MySQL 8.4 server for the application's defaults (database library, user library, password library).
#
#   docker compose up -d
#
# NOT RUN when this module was written: the sandbox had no Docker. The captured output in output/ came from
# MySQL Community Server 8.4.6 started directly from the official tarball with the same database, user and
# password. If the compose file fails on your machine, `scripts/mysql-setup.sql` does the same thing by hand.
services:
  mysql:
    image: mysql:8.4
    ports:
      - "3306:3306"
    environment:
      MYSQL_ROOT_PASSWORD: rootpw
      MYSQL_DATABASE: library
      MYSQL_USER: library
      MYSQL_PASSWORD: library
    healthcheck:
      test: ["CMD", "mysqladmin", "ping", "-h", "127.0.0.1", "-plibrary", "-ulibrary"]
      interval: 5s
      timeout: 3s
      retries: 20