Ported in the homebrew-marauder for a hacky update/import system.

	TODO: Maybe add a license & fix up messy code.

7 files changed, 40 insertions, 0 deletions

diff --git a/homebrew/depqbf/.beer b/homebrew/depqbf/.beer
new file mode 100644
index 000000000..c3db3238f
--- /dev/null
+++ b/homebrew/depqbf/.beer
@@ -0,0 +1,29 @@
+{
+    "name": "Depqbf",
+    "description": "Solver for quantified boolean formulae (QBF)",
+    "url": "https://github.com/lonsing/depqbf/archive/version-6.03.tar.gz",
+    "mirror": null,
+    "homepage": "https://lonsing.github.io/depqbf/",
+    "depends": [],
+    "resource": [
+        {
+            "name": "nenofex",
+            "url": "https://github.com/lonsing/nenofex/archive/version-1.1.tar.gz"
+        },
+        {
+            "name": "picosat",
+            "url": "http://fmv.jku.at/picosat/picosat-960.tar.gz"
+        }
+    ],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "(buildpath/\"nenofex\").install resource(\"nenofex\")",
+        "(buildpath/\"picosat-960\").install resource(\"picosat\")",
+        "system \"./compile.sh\"",
+        "bin.install \"depqbf\"",
+        "lib.install \"libqdpll.a\", \"libqdpll.1.0.dylib\""
+    ],
+    "version": "6.03",
+    "file": "depqbf.rb"
+}
\ No newline at end of file
diff --git a/homebrew/depqbf/.make.sh-auto b/homebrew/depqbf/.make.sh-auto
new file mode 100644
index 000000000..4c1431e7a
--- /dev/null
+++ b/homebrew/depqbf/.make.sh-auto
@@ -0,0 +1,6 @@
+pkg:setup
+(buildpath/"nenofex").install resource("nenofex")
+(buildpath/"picosat-960").install resource("picosat")
+./compile.sh
+bin.install "depqbf"
+lib.install "libqdpll.a", "libqdpll.1.0.dylib"
diff --git a/homebrew/depqbf/_metadata/description b/homebrew/depqbf/_metadata/description
new file mode 100644
index 000000000..7a2e25bc9
--- /dev/null
+++ b/homebrew/depqbf/_metadata/description
@@ -0,0 +1 @@
+Solver for quantified boolean formulae (QBF)
diff --git a/homebrew/depqbf/_metadata/homepage b/homebrew/depqbf/_metadata/homepage
new file mode 100644
index 000000000..d609b2a61
--- /dev/null
+++ b/homebrew/depqbf/_metadata/homepage
@@ -0,0 +1 @@
+https://lonsing.github.io/depqbf/
diff --git a/homebrew/depqbf/_metadata/name b/homebrew/depqbf/_metadata/name
new file mode 100644
index 000000000..ce0d43f8b
--- /dev/null
+++ b/homebrew/depqbf/_metadata/name
@@ -0,0 +1 @@
+Depqbf
diff --git a/homebrew/depqbf/_metadata/version b/homebrew/depqbf/_metadata/version
new file mode 100644
index 000000000..8a24b2577
--- /dev/null
+++ b/homebrew/depqbf/_metadata/version
@@ -0,0 +1 @@
+6.03
diff --git a/homebrew/depqbf/download.sh b/homebrew/depqbf/download.sh
new file mode 100755
index 000000000..223f366bb
--- /dev/null
+++ b/homebrew/depqbf/download.sh
@@ -0,0 +1 @@
+wget https://github.com/lonsing/depqbf/archive/version-6.03.tar.gz
\ No newline at end of file