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