defmodule Theory.MixProject do
  use Mix.Project

  def project do
    [
      app: :theory,
      name: "Theory",
      version: "0.1.0",
      elixir: "~> 1.19",
      description: description(),
      package: package(),
      docs: docs(),
      start_permanent: Mix.env() == :prod,
      deps: deps()
    ]
  end

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

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

  defp description do
    "An Elixir-oriented certified Core IR for deriving computation code from formal evidence."
  end

  defp package do
    [
      files: ~w(lib .formatter.exs mix.exs README.md LICENSE),
      licenses: ["MIT"],
      links: %{
        "HexDocs" => "https://hexdocs.pm/theory",
        "Hex.pm" => "https://hex.pm/packages/theory",
        "Theoria" => "https://github.com/elixir-vibe/theoria"
      }
    ]
  end

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