defmodule TlaConnect.MixProject do use Mix.Project @version "0.1.0" @source_url "https://github.com/wiggum-cc/tla-connect-elixir" def project do [ app: :tla_connect, version: @version, elixir: "~> 1.15", start_permanent: Mix.env() == :prod, deps: deps(), name: "TlaConnect", description: "Model-based testing with Apalache TLA+ model checker for Elixir.", package: package(), docs: docs(), source_url: @source_url ] end def application do [ extra_applications: [:logger] ] end defp deps do [ {:jason, "~> 1.4"}, {:req, "~> 0.5"}, {:bypass, "~> 2.1", only: :test}, {:ex_doc, "~> 0.34", only: :dev, runtime: false} ] end defp package do [ licenses: ["MIT"], links: %{"GitHub" => @source_url}, files: ~w(lib mix.exs README.md LICENSE) ] end defp docs do [ main: "readme", extras: ["README.md"], source_ref: "v#{@version}" ] end end