[arch-commits] Commit in (minisat minisat/repos minisat/trunk minisat/trunk/PKGBUILD)

[Felix Yan]

    Date: Monday, June 7, 2021 @ 17:35:02
  Author: felixonmars
Revision: 957920

addpkg: minisat 2.2.1.20201216-1

Added:
  minisat/
  minisat/repos/
  minisat/trunk/
  minisat/trunk/PKGBUILD

----------+
 PKGBUILD |   28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

Added: minisat/trunk/PKGBUILD
===================================================================
--- minisat/trunk/PKGBUILD	                        (rev 0)
+++ minisat/trunk/PKGBUILD	2021-06-07 17:35:02 UTC (rev 957920)
@@ -0,0 +1,28 @@
+# Maintainer: Felix Yan <felixonmars at archlinux.org>
+# Contributor: Vojtěch Aschenbrenner <v at asch.cz>
+
+pkgname=minisat
+pkgver=2.2.1.20201216
+_commit=55d7e7613b94f0369476a0a8ff35969485ed324f
+pkgrel=1
+pkgdesc="A minimalistic and high-performance SAT solver"
+arch=('x86_64')
+url="http://minisat.se/"
+license=('MIT')
+depends=('gcc-libs' 'zlib')
+source=(https://github.com/msoos/minisat/archive/$_commit/$pkgname-$_commit.tar.gz)
+sha512sums=('17ec01c5083d91f55b8ccc14176b673db225156c0270762fdf154552f95ece78d31d7017a3ce5d54831859a3f5af45ac9f465bd590a24cb0f7dcc3dfb33fa8d9')
+
+build() {
+  cd $pkgname-$_commit
+  make config prefix=/usr
+  make
+}
+
+package() {
+  cd $pkgname-$_commit
+  make install DESTDIR="$pkgdir"
+  install -Dm644 LICENSE -t "$pkgdir"/usr/share/licenses/$pkgname/
+}
+
+# vim:set ts=2 sw=2 et: