Initial

2 files changed, 43 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..348d22d88d8a
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,17 @@
+# Generated by mksrcinfo v8
+# Sun Apr 24 19:39:09 UTC 2016
+pkgbase = minion
+	pkgdesc = Minion is a relatively new constraint solver which is fast and scales well as problem size increases
+	pkgver = 2.0
+	pkgrel = 1
+	url = http://constraintmodelling.org/minion/
+	arch = i686
+	arch = x86_64
+	license = GNU General Public License Version 2
+	makedepends = python2
+	makedepends = cmake
+	source = hg+https://bitbucket.org/stacs_cp/minion
+	md5sums = SKIP
+
+pkgname = minion
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..54744c455772
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,26 @@
+# Maintainer: Thor77 <thor77 at thor77 dot org>
+
+pkgname=minion
+pkgver=2.0
+pkgrel=1
+pkgdesc="Minion is a relatively new constraint solver which is fast and scales well as problem size increases"
+arch=('i686' 'x86_64')
+url="http://constraintmodelling.org/minion/"
+license=('GNU General Public License Version 2')
+makedepends=('python2' 'cmake')
+source=("hg+https://bitbucket.org/stacs_cp/minion")
+md5sums=('SKIP')
+
+build() {
+	cd "$srcdir/minion"
+	mkdir -p bin
+	cd bin
+	python2 ../build.py
+	make minion
+}
+
+package() {
+	cd "$srcdir/minion/bin"
+	install -d "$pkgdir/usr/bin"
+	install -Dm 755 minion $pkgdir/usr/bin/
+}