id          = "alloy-analyzer"
name        = "Alloy Analyzer"
homepage    = "https://alloytools.org"
description = "Open-source language and analyzer for software modeling."
executables = ["alloy"]
platforms   = ["linux"]

[dotfiles]

# Alloy's Java API documents persistent preferences under the user preference
# node, and the Java-backed Alloy 4 distribution stores that node as this XML
# file.  The path is Linux-only; the platform-native macOS Java preferences
# backend has a different implementation and is not guessed here.
# https://alloytools.org/documentation/alloy-api/edu/mit/csail/sdg/alloy4/Util.IntPref.html
# https://stackoverflow.com/questions/58190564/alloytools-crashed-and-does-not-start-anymore
paths  = ["~/.java/.userPrefs/edu/mit/csail/sdg/alloy4/pref.xml"]
secret = []