[arch-commits] Commit in (5 files)

[Felix Yan]

    Date: Monday, June 7, 2021 @ 17:41:25
  Author: felixonmars
Revision: 957932

addpkg: stp 2.3.3-1

Added:
  stp/
  stp/repos/
  stp/trunk/
  stp/trunk/PKGBUILD
  stp/trunk/mandir.patch

--------------+
 PKGBUILD     |   45 +++++++++++++++++++++++++++++++++++++++++++++
 mandir.patch |   11 +++++++++++
 2 files changed, 56 insertions(+)

Added: stp/trunk/PKGBUILD
===================================================================
--- stp/trunk/PKGBUILD	                        (rev 0)
+++ stp/trunk/PKGBUILD	2021-06-07 17:41:25 UTC (rev 957932)
@@ -0,0 +1,45 @@
+# Maintainer: Forest Crossman <cyrozap at gmail dot com>
+
+pkgname=stp
+pkgver=2.3.3
+pkgrel=1
+pkgdesc="Simple Theorem Prover"
+arch=('i686' 'x86_64')
+url="https://stp.github.io/"
+license=('MIT')
+depends=('boost-libs' 'cryptominisat5' 'minisat')
+makedepends=('boost' 'cmake' 'help2man' 'ninja' 'python')
+source=("https://github.com/$pkgname/$pkgname/archive/$pkgver/$pkgname-$pkgver.tar.gz"
+        'mandir.patch')
+sha256sums=('ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa'
+            '4c09301c5a36cd89845a7177e1215008f8bbb23fa6f3c6cc941006825e28c327')
+
+prepare() {
+  # Correct the destination for man documentation.
+  patch -d $pkgname-$pkgver < mandir.patch
+  mkdir -p build
+
+  # Remove RPATH
+  sed -i '/RPATH/d' $pkgname-$pkgver/{,tools/stp/,tools/stp_simple/}CMakeLists.txt
+}
+
+build() {
+  cd build
+  cmake \
+    -GNinja \
+    -DCMAKE_INSTALL_PREFIX=/usr \
+    -DCMAKE_INSTALL_LIBDIR=lib \
+    -DENABLE_PYTHON_INTERFACE=ON \
+    ../$pkgname-$pkgver
+  ninja
+}
+
+package() {
+  cd $pkgname-$pkgver
+  install -Dm644 LICENSE LICENSE_COMPONENTS -t "$pkgdir"/usr/share/licenses/$pkgname/
+
+  cd ../build
+  DESTDIR="$pkgdir" ninja install
+}
+
+# vim:set ts=2 sw=2 et:

Added: stp/trunk/mandir.patch
===================================================================
--- stp/trunk/mandir.patch	                        (rev 0)
+++ stp/trunk/mandir.patch	2021-06-07 17:41:25 UTC (rev 957932)
@@ -0,0 +1,11 @@
+--- CMakeLists.txt	2019-03-02 08:26:01.000000000 -0600
++++ CMakeLists.txt	2019-09-05 02:32:58.324454246 -0500
+@@ -487,7 +487,7 @@
+ 
+             INSTALL(
+                 FILES ${CMAKE_CURRENT_BINARY_DIR}/stp.1
+-                DESTINATION ${CMAKE_INSTALL_PREFIX}/man/man1)
++                DESTINATION ${CMAKE_INSTALL_FULL_MANDIR}/man1)
+             message(STATUS "Manpage will be created and installed")
+         endif()
+     else()