cudd/PKGBUILD

   1 # Contributor: Mathieu Clabaut <mathieu.clabaut@gmail.com>
   2 pkgname=cudd
   3 pkgver=2.4.2
   4 pkgrel=1
   5 pkgdesc="Package for manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs)"
   6 arch=('i686' 'x86_64')
   7 url="http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html"
   8 license=('unknown')
   9 depends=()
  10 makedepends=(gcc)
  11 source=("ftp://vlsi.colorado.edu/pub/$pkgname-$pkgver.tar.gz"
  12   Makefile)
  13
  14 md5sums=('f037f3e486db93a9a1161e285f488e9c'
  15          '7667ecf769ca26cede0eef20d10cdc51')
  16
  17 build() {
  18   cd "$srcdir/$pkgname-$pkgver"
  19   cp ../Makefile .
  20   [ "$CARCH" == "i686" ] && sed -i -e 's/#XCFLAGS·       = -mcpu=pentium4 -malign-double -DHAVE_IEEE_754 -DBSD/XCFLAGS·       = -mcpu=pentium4 -malign-double -DHAVE_IEEE_754 -DBSD/' Makefile
  21   [ "$CARCH" == "x86_64" ] && sed -i -e 's/#XCFLAGS·       = -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8/XCFLAGS·       = -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8/' Makefile
  22   for i in  cudd dddmp mtr st util epd
  23   do
  24     echo "libso:
  25         gcc -shared \$(POBJ) -o ../lib/lib$i.so" >> $i/Makefile
  26   done
  27   mkdir lib
  28
  29   make  || return 1
  30   make libso || return 1
  31   mkdir -p $pkgdir/usr/lib/cudd
  32   install lib/* $pkgdir/usr/lib/cudd
  33   mkdir -p $pkgdir/usr/share/licenses/cudd
  34   install LICENSE $pkgdir/usr/share/licenses/cudd
  35   mkdir -p $pkgdir/usr/share/cudd/cudd/doc
  36   cp -r cudd/doc/*  $pkgdir/usr/share/cudd/cudd/doc
  37   mkdir -p $pkgdir/usr/share/cudd/st/doc
  38   cp -r st/doc/*  $pkgdir/usr/share/cudd/st/doc
  39   mkdir -p $pkgdir/usr/share/cudd/mtr/doc
  40   cp -r mtr/doc/*  $pkgdir/usr/share/cudd/mtr/doc
  41   mkdir -p $pkgdir/usr/share/cudd/dddmp/doc
  42   cp -r dddmp/doc/*  $pkgdir/usr/share/cudd/dddmp/doc
  43   mkdir -p $pkgdir/usr/include/cudd
  44   cp -L include/* $pkgdir/usr/include/cudd
  45
  46   #make DESTDIR="$pkgdir/" install
  47 }
  48
  49 # vim:set ts=2 sw=2 et: