propcheck

defmodule PropCheck.Mixfile do
  @moduledoc "Buildfile for PropCheck"
  use Mix.Project

  @source_url "https://github.com/alfert/propcheck"
  @version "1.5.0"

  def project do
    [
      app: :propcheck,
      version: @version,
      elixir: "~> 1.7",
      elixirc_paths: elixirc_paths(Mix.env()),
      build_embedded: Mix.env() == :prod,
      start_permanent: Mix.env() == :prod,
      test_coverage: [threshold: 0.58],
      package: package(),
      name: "PropCheck",
      homepage_url: @source_url,
      docs: [
        main: "readme",
        source_url: @source_url,
        source_ref: "v#{@version}",
        extras: ["README.md", "CHANGELOG.md"],
        extra_section: "Overview"
      ],
      description: description(),
      propcheck: [counter_examples: "_build/propcheck.ctx"],
      aliases: aliases(),
      preferred_cli_env: [
        tests: :test,
        external_tests: :test,
        parallel_test: :test,
        test_parallel: :test
      ],
      deps: deps()
    ]
  end

  # Hex Package description
  defp description do
    """
    PropCheck provides property based testing and is an Elixir layer around
    PropEr. It is also inspired by Quviq's QuickCheck Elixir library.
    """
  end

  # Hex Package definition
  defp package do
    [
      maintainers: ["Klaus Alfert", "evnu"],
      licenses: ["GPL 3.0"],
      links: %{"GitHub" => @source_url}
    ]
  end

  # Configuration for the OTP application
  #
  # Type `mix help compile.app` for more information
  def application do
    [
      mod: {PropCheck.App, []},
      extra_applications: [:iex, :logger]
    ]
  end

  # Specifies which paths to compile per environment
  defp elixirc_paths(:test), do: ["lib", "test/support"]
  defp elixirc_paths(_), do: ["lib"]

  def aliases do
    [
      clean: ["clean", "propcheck.clean"],
      external_tests: &external_tests/1,
      parallel_test: ["test --include concurrency_test --only concurrency_test"],
      test_parallel: ["test --include concurrency_test --only concurrency_test"],
      tests: [&loglevel/1, "external_tests", "test"],
      lint: [
        "credo --strict",
        "hex.audit"
      ]
    ]
  end

  defp deps do
    [
      {:proper, "~> 1.5"},
      {:libgraph, "~> 0.13"},
      {:credo, "~> 1.4", only: [:dev, :test], runtime: false},
      {:ex_doc, "~> 0.37", only: :dev}
    ]
  end

  defp loglevel(_args) do
    log_level = System.get_env("LOG_LEVEL", "info") |> String.to_atom()
    Logger.configure(level: log_level)
  end

  defp external_tests(_args) do
    run = fn arg ->
      r = Mix.shell().cmd(arg)
      r > 0 && System.at_exit(fn _ -> exit({:shutdown, r}) end)
      r
    end

    run.("./test/verify_storing_counterexamples.sh")
    run.("./test/verify-verbose.sh")
    run.("./test/verify-detect-exceptions.sh")
    run.("./test/verify-verbose-in-elixir-syntax.sh")
  end
end