[arch-commits] Commit in cudd/repos (community-x86_64 community-x86_64/PKGBUILD)

[Felix Yan]

    Date: Thursday, December 17, 2020 @ 21:38:39
  Author: felixonmars
Revision: 778133

archrelease: copy trunk to community-x86_64

Added:
  cudd/repos/community-x86_64/
  cudd/repos/community-x86_64/PKGBUILD
    (from rev 778132, cudd/trunk/PKGBUILD)

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

Copied: cudd/repos/community-x86_64/PKGBUILD (from rev 778132, cudd/trunk/PKGBUILD)
===================================================================
--- community-x86_64/PKGBUILD	                        (rev 0)
+++ community-x86_64/PKGBUILD	2020-12-17 21:38:39 UTC (rev 778133)
@@ -0,0 +1,30 @@
+# Maintainer: Felix Yan <felixonmars at archlinux.org>
+
+pkgname=cudd
+pkgver=3.0.0
+pkgrel=1
+pkgdesc="A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures"
+arch=("x86_64")
+license=("BSD")
+url="https://github.com/ivmai/cudd"
+depends=("gcc-libs")
+source=("https://github.com/ivmai/cudd/archive/cudd-3.0.0.tar.gz")
+sha512sums=('a26728fedc3033ae2a842000f43f215b4abc914cd00fe0097fd483e59dc630568bfa6a115baa93af94b2f70f3d538761a12143fdb757167e90395c9fd244318c')
+
+build() {
+  cd cudd-cudd-$pkgver
+  ./configure --prefix=/usr --enable-shared --enable-dddmp --enable-obj
+  make
+}
+
+package() {
+  cd cudd-cudd-$pkgver
+  make DESTDIR="$pkgdir/" install
+
+  # Install more headers to a separate dir
+  install -Dm644 util/util.h -t "$pkgdir"/usr/include/cudd/
+  install -Dm644 config.h -t "$pkgdir"/usr/include/cudd/
+  install -Dm644 mtr/mtr.h -t "$pkgdir"/usr/include/cudd/
+
+  install -Dm644 LICENSE -t "$pkgdir"/usr/share/licenses/$pkgname/
+}