lts_spex

defmodule Spex.MixProject do
  use Mix.Project

  @source_url "https://github.com/maxpohlmann/spex"

  def project do
    meta_tests? = System.get_env("META_TESTS") == "true"

    [
      app: :spex,
      version: "0.1.2",
      elixirc_paths: elixirc_paths(Mix.env()),
      test_paths: test_paths(meta_tests?),
      config_path: config_path(meta_tests?),
      elixir: "~> 1.17",
      start_permanent: Mix.env() == :prod,
      deps: deps(),
      docs: docs(),
      description: description(),
      package: package(),
      dialyzer: dialyzer(),
      source_url: @source_url
    ]
  end

  def application do
    [
      mod: {Spex.Application, []},
      extra_applications: [:logger]
    ]
  end

  defp elixirc_paths(:test), do: ["lib", "test_support"]
  defp elixirc_paths(_), do: ["lib"]

  defp test_paths(true = _meta_tests?), do: ["test_meta"]
  defp test_paths(false), do: ["test"]

  defp config_path(true = _meta_tests?), do: "config/test_meta.exs"
  defp config_path(false), do: "config/test.exs"

  defp deps do
    [
      {:credo, "~> 1.7", only: [:dev, :test], runtime: false},
      {:dialyxir, "~> 1.4", only: [:dev, :test], runtime: false},
      {:ex_doc, "~> 0.40", only: [:dev, :test], runtime: false},
      {:rustler, "~> 0.37.3", runtime: false}
    ]
  end

  defp docs do
    [
      extras: [
        "README.md"
      ],
      main: "readme"
    ]
  end

  defp description do
    "A tool to check the correctness of implementations against specifications. It provides " <>
      "ways to (1) define specifications, (2) derive implementation models, and (3) check " <>
      "these against each other w.r.t. behavioural equivalence."
  end

  defp package do
    [
      name: "lts_spex",
      licenses: ["MIT"],
      links: %{
        "GitHub" => @source_url
      }
    ]
  end

  defp dialyzer do
    [
      plt_add_apps: [:ex_unit, :mix]
    ]
  end

  def cli do
    [
      preferred_envs: [
        spex: :test,
        credo: :test,
        dialyzer: :test
      ]
    ]
  end
end