zee3_marco

defmodule Zee3Marco.MixProject do
  use Mix.Project

  def project do
    [
      app: :zee3_marco,
      version: "0.2.0",
      elixir: "~> 1.19",
      start_permanent: Mix.env() == :prod,
      deps: deps(),
      description: description(),
      package: package()
    ]
  end

  def description do
    "Bindings to the Z3 theorem prover."
  end

  defp package do
    [
      name: "zee3_marco",
      files: ~w(lib .formatter.exs mix.exs README*
                LICENSE* CHANGELOG*),
      licenses: ["BSD-3-Clause"],
      links: %{"GitHub" => "https://github.com/tmbb/zee3_marco"}
    ]
  end

  # Run "mix help compile.app" to learn about applications.
  def application do
    [
      extra_applications: [:logger]
    ]
  end

  # Run "mix help deps" to learn about dependencies.
  defp deps do
    [
      {:zee3, "~> 0.6"},
      {:expublish, "~> 2.5", only: [:dev], runtime: false},
      {:ex_doc, "~> 0.40", only: [:dev], runtime: false}
    ]
  end
end