mix.exs

defmodule QuintConnect.MixProject do
  use Mix.Project

  @version "0.1.0"

  def project do
    [
      app: :quint_connect,
      version: @version,
      elixir: "~> 1.19",
      start_permanent: Mix.env() == :prod,
      deps: deps(),
      description: description(),
      package: package(),
      docs: docs(),
      source_url: source_url(),
      homepage_url: source_url()
    ]
  end

  def application do
    [
      extra_applications: [:logger]
    ]
  end

  defp deps do
    [
      {:jason, "~> 1.4"},
      {:ex_doc, "~> 0.40", only: :dev, runtime: false}
    ]
  end

  defp description do
    "Model-based testing for Elixir: connect Quint specifications to Elixir implementations."
  end

  defp package do
    [
      licenses: ["Apache-2.0"],
      maintainers: ["Lucas Marques"],
      links: %{
        "GitHub" => source_url()
      }
    ]
  end

  defp docs do
    [
      main: "readme",
      extras: ["README.md", "CHANGELOG.md", "LICENSE"],
      source_ref: "v#{@version}",
      source_url: source_url()
    ]
  end

  defp source_url do
    "https://github.com/marquesds/quint-connect"
  end
end