ex_maude

defmodule ExMaude.MixProject do
  use Mix.Project

  @version "0.3.0"
  @source_url "https://github.com/futhr/ex_maude"

  def project do
    [
      app: :ex_maude,
      version: @version,
      elixir: "~> 1.17",
      start_permanent: Mix.env() == :prod,
      deps: deps(),
      description: description(),
      package: package(),
      docs: docs(),
      name: "ExMaude",
      source_url: @source_url,
      homepage_url: @source_url,
      dialyzer: dialyzer(),
      test_coverage: [tool: ExCoveralls],
      elixirc_paths: elixirc_paths(Mix.env()),
      aliases: aliases(),
      # C-Node compilation (conditional - only if c_src exists and erl_interface available)
      compilers: maybe_add_make_compiler(),
      make_targets: ["all"],
      make_clean: ["clean"],
      make_cwd: "c_src",
      make_error_message: """
      C-Node compilation skipped or failed. This is optional - the Port backend works without it.

      For C-Node support, ensure erl_interface is available:
        erl -noshell -eval 'io:format("~p~n", [code:lib_dir(erl_interface)]), halt().'

      On macOS with Homebrew: brew reinstall erlang
      On Debian/Ubuntu: apt install erlang-dev
      On Fedora/RHEL: dnf install erlang-devel
      """
    ]
  end

  # Only add elixir_make compiler if c_src exists, erl_interface is available,
  # and the binary actually needs (re)building
  defp maybe_add_make_compiler do
    if File.dir?("c_src") and erl_interface_available?() and needs_compilation?() do
      [:elixir_make] ++ Mix.compilers()
    else
      Mix.compilers()
    end
  end

  defp needs_compilation? do
    binary = "priv/maude_bridge"

    not File.exists?(binary) or
      Enum.any?(Path.wildcard("c_src/*.c") ++ Path.wildcard("c_src/*.h"), fn src ->
        File.stat!(src).mtime > File.stat!(binary).mtime
      end)
  end

  defp erl_interface_available? do
    case System.cmd(
           "erl",
           ["-noshell", "-eval", "code:lib_dir(erl_interface), halt()."],
           stderr_to_stdout: true
         ) do
      {output, 0} -> not String.contains?(output, "error")
      _ -> false
    end
  rescue
    _ -> false
  end

  defp elixirc_paths(:test), do: ["lib", "test/support"]
  defp elixirc_paths(_), do: ["lib"]

  def application do
    [
      extra_applications: [:logger, :inets, :ssl, :public_key],
      mod: {ExMaude.Application, []}
    ]
  end

  def cli do
    [
      preferred_envs: [
        coveralls: :test,
        "coveralls.detail": :test,
        "coveralls.html": :test,
        "coveralls.json": :test,
        cover: :test,
        "cover.html": :test,
        "test.network": :test,
        "test.integration": :test,
        "test.cnode": :test,
        "test.nif": :test,
        "test.all": :test
      ]
    ]
  end

  defp deps do
    [
      {:poolboy, "~> 1.5"},
      {:nimble_parsec, "~> 1.4"},
      {:telemetry, "~> 1.2"},
      {:jason, "~> 1.4"},

      # decimal < 3.1.0 has a DoS via unbounded exponent parsing
      # (GHSA-rhv4-8758-jx7v). Declare it directly so the resolver enforces
      # 3.1+ across transitive deps without `override: true` (Hex disallows
      # overrides in published packages).
      {:decimal, "~> 3.1"},
      # Native code compilation
      {:elixir_make, "~> 0.8", runtime: false},
      # NIF — precompiled binaries downloaded at install time
      {:rustler_precompiled, "~> 0.8"},
      # Rustler only needed when force-building from source
      {:rustler, "~> 0.38", optional: true},
      # Development tools
      {:ex_doc, "~> 0.34", only: [:dev, :test], runtime: false},
      {:dialyxir, "~> 1.4", only: [:dev, :test], runtime: false},
      {:credo, "~> 1.7", only: [:dev, :test], runtime: false},
      {:ex_check, "~> 0.16", only: [:dev, :test], runtime: false},
      {:doctor, "~> 0.22", only: [:dev, :test], runtime: false},
      {:excoveralls, "~> 0.18", only: :test},
      {:castore, "~> 1.0", only: :test},
      {:mox, "~> 1.1", only: :test},
      {:mix_audit, "~> 2.1", only: [:dev, :test], runtime: false},
      {:sobelow, "~> 0.13", only: [:dev, :test], runtime: false},
      {:benchee, "~> 1.3", only: :dev, runtime: false},
      {:benchee_markdown, "~> 0.3", only: :dev, runtime: false},
      {:git_ops, "~> 2.6", only: :dev, runtime: false},
      {:doctest_formatter, "~> 0.4", only: [:dev, :test], runtime: false}
    ]
  end

  defp description, do: "Elixir bindings for the Maude formal verification system."

  defp package do
    [
      name: "ex_maude",
      licenses: ["MIT"],
      links: %{"GitHub" => @source_url, "Maude" => "https://maude.cs.illinois.edu"},
      files: ~w[
        lib
        c_src/maude_bridge.c
        c_src/Makefile
        native/ex_maude_nif/src
        native/ex_maude_nif/Cargo.toml
        native/ex_maude_nif/Cargo.lock
        native/ex_maude_nif/.cargo
        checksum-Elixir.ExMaude.Backend.NIF.Native.exs
        priv/maude/iot-rules.maude
        priv/maude/ai-rules.maude
        priv/maude/VERSION
        .formatter.exs
        mix.exs
        README.md
        LICENSE
        CHANGELOG.md
        usage-rules.md
        notebooks
        cheatsheets
        bench/output
      ],
      maintainers: ["Tobias Bohwalli <hi@futhr.io>"]
    ]
  end

  defp docs do
    [
      main: "readme",
      extras: [
        "README.md": [title: "Overview"],
        "cheatsheets/cheatsheet.cheatmd": [title: "Cheatsheet"],
        "notebooks/quickstart.livemd": [title: "Quick Start"],
        "notebooks/advanced.livemd": [title: "Advanced Usage"],
        "notebooks/ai-rules.livemd": [title: "AI Rules"],
        "notebooks/rewriting.livemd": [title: "Term Rewriting"],
        "notebooks/benchmarks.livemd": [title: "Benchmarks"],
        "CHANGELOG.md": [title: "Changelog"],
        "CONTRIBUTING.md": [title: "Contributing"],
        "AGENTS.md": [title: "AI Agents"],
        "usage-rules.md": [title: "Usage Rules"],
        "bench/output/benchmarks.md": [title: "Benchmark Results"],
        "bench/output/backend_comparison.md": [title: "Backend Comparison"],
        LICENSE: [title: "License"]
      ],
      groups_for_extras: [
        "Getting Started": ~r/README|cheatsheet/,
        "Interactive Tutorials": ~r/notebooks\//,
        Reference: ~r/CHANGELOG|CONTRIBUTING|AGENTS|usage-rules|LICENSE/,
        Performance: ~r/bench\/output/
      ],
      groups_for_modules: [
        "Core API": [ExMaude, ExMaude.Maude, ExMaude.Term, ExMaude.Parser],
        Results: [ExMaude.Result.Reduction, ExMaude.Result.Search, ExMaude.Result.Solution],
        "Domain: IoT": [
          ExMaude.IoT,
          ExMaude.IoT.Encoder,
          ExMaude.IoT.Validator,
          ExMaude.IoT.ConflictParser
        ],
        "Domain: AI": [
          ExMaude.AI,
          ExMaude.AI.Encoder,
          ExMaude.AI.Validator,
          ExMaude.AI.ConflictParser
        ],
        Runtime: [
          ExMaude.Application,
          ExMaude.Pool,
          ExMaude.Server,
          ExMaude.Backend,
          ExMaude.Backend.Port,
          ExMaude.Backend.CNode,
          ExMaude.Backend.NIF,
          ExMaude.Binary
        ],
        Observability: [ExMaude.Telemetry],
        Errors: [ExMaude.Error]
      ],
      source_ref: "v#{@version}",
      source_url: @source_url,
      formatters: ["html"]
    ]
  end

  defp dialyzer do
    [
      plt_file: {:no_warn, "priv/plts/dialyzer.plt"},
      plt_add_apps: [:mix, :ex_unit],
      flags: [:error_handling, :missing_return, :underspecs]
    ]
  end

  defp aliases do
    [
      setup: ["deps.get", "deps.compile"],
      lint: ["format --check-formatted", "credo --strict", "dialyzer"],
      cover: ["coveralls"],
      "cover.html": ["coveralls.html"],
      "test.network": ["test --include network"],
      "test.integration": ["test --include integration"],
      "test.nif": ["test --include nif --include integration"],
      "test.all": [
        "test --include network --include integration --include cnode --include nif"
      ],
      ci: ["setup", "lint", "cover"],
      # Benchmarks
      bench: ["run bench/run.exs"],
      # Port backend only
      "bench.backends": ["run bench/backends_bench.exs"],
      # All backends (requires C-Node)
      "bench.backends.all": ["cmd ./bin/bench_backends_all.sh"],
      "bench.all": ["bench", "bench.backends"],
      # C-Node specific tests (requires distribution)
      # C-Node integration tests
      "test.cnode": ["cmd ./bin/test_cnode.sh"],

      # Release
      release: ["git_ops.release"]
    ]
  end
end