Date: Thursday, December 17, 2020 @ 21:38:23 Author: felixonmars Revision: 778131
addpkg: cudd 3.0.0-1 Added: cudd/ cudd/repos/ cudd/trunk/ cudd/trunk/PKGBUILD ----------+ PKGBUILD | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) Added: cudd/trunk/PKGBUILD =================================================================== --- cudd/trunk/PKGBUILD (rev 0) +++ cudd/trunk/PKGBUILD 2020-12-17 21:38:23 UTC (rev 778131) @@ -0,0 +1,30 @@ +# Maintainer: Felix Yan <[email protected]> + +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/ +}
