7 files changed, 25 insertions, 0 deletions
diff --git a/homebrew/ltl2ba/.beer b/homebrew/ltl2ba/.beer
new file mode 100644
index 000000000..c0f2426ef
--- /dev/null
+++ b/homebrew/ltl2ba/.beer
@@ -0,0 +1,17 @@
+{
+    "name": "Ltl2ba",
+    "description": "Translate LTL formulae to Buchi automata",
+    "url": "https://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.2b1.tar.gz",
+    "mirror": null,
+    "homepage": "https://www.lsv.ens-cachan.fr/~gastin/ltl2ba/",
+    "depends": [],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "system \"make\"",
+        "bin.install \"ltl2ba\""
+    ],
+    "version": "1.2",
+    "file": "ltl2ba.rb"
+}
+\ No newline at end of file
diff --git a/homebrew/ltl2ba/.make.sh-auto b/homebrew/ltl2ba/.make.sh-auto
new file mode 100644
index 000000000..c29aff523
--- /dev/null
+++ b/homebrew/ltl2ba/.make.sh-auto
@@ -0,0 +1,3 @@
+pkg:setup
+make
+bin.install "ltl2ba"
diff --git a/homebrew/ltl2ba/_metadata/description b/homebrew/ltl2ba/_metadata/description
new file mode 100644
index 000000000..dcac5639b
--- /dev/null
+++ b/homebrew/ltl2ba/_metadata/description
@@ -0,0 +1 @@
+Translate LTL formulae to Buchi automata
diff --git a/homebrew/ltl2ba/_metadata/homepage b/homebrew/ltl2ba/_metadata/homepage
new file mode 100644
index 000000000..294b44691
--- /dev/null
+++ b/homebrew/ltl2ba/_metadata/homepage
@@ -0,0 +1 @@
+https://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
diff --git a/homebrew/ltl2ba/_metadata/name b/homebrew/ltl2ba/_metadata/name
new file mode 100644
index 000000000..3738852b6
--- /dev/null
+++ b/homebrew/ltl2ba/_metadata/name
@@ -0,0 +1 @@
+Ltl2ba
diff --git a/homebrew/ltl2ba/_metadata/version b/homebrew/ltl2ba/_metadata/version
new file mode 100644
index 000000000..5625e59da
--- /dev/null
+++ b/homebrew/ltl2ba/_metadata/version
@@ -0,0 +1 @@
+1.2
diff --git a/homebrew/ltl2ba/download.sh b/homebrew/ltl2ba/download.sh
new file mode 100755
index 000000000..737f336cf
--- /dev/null
+++ b/homebrew/ltl2ba/download.sh
@@ -0,0 +1 @@
+wget https://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.2b1.tar.gz
+\ No newline at end of file