mix.exs
defmodule Homotopy.Mixfile do
use Mix.Project
def deps, do: [ {:ex_doc, "~> 0.11", only: :dev} ]
def application, do: [mod: {:homotopy, []}, applications: []]
def project do
[ app: :homotopy,
version: "1.3.1",
description: "CTT-CCHM Homotopy Type System",
package: package(),
deps: deps()]
end
def package do
[ files: ~w(doc core src mix.exs rebar.config LICENSE),
licenses: ["ISC"],
links: %{"GitHub" => "https://github.com/groupoid/homotopy"}]
end
end