updated on Thu Jan 26 16:09:46 UTC 2012
[aur-mirror.git] / cudd / PKGBUILD
blobc6da168b9a44fbe9edca0851b9ed39eb7c817854
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)
14 md5sums=('f037f3e486db93a9a1161e285f488e9c'
15          '7667ecf769ca26cede0eef20d10cdc51')
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
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
46   #make DESTDIR="$pkgdir/" install
49 # vim:set ts=2 sw=2 et: