comparison lib/isl/isl.sh @ 766:e91fbcb3d1ef

vanilla: consolidate FHS
author David Demelier <markand@malikania.fr>
date Fri, 09 Aug 2019 20:10:00 +0200
parents 59a2fa6992bc
children 0e6c54d47dfb
comparison
equal deleted inserted replaced
765:859f76ffb512 766:e91fbcb3d1ef
36 { 36 {
37 rm -rf $PKGNAME-$PKGVERSION 37 rm -rf $PKGNAME-$PKGVERSION
38 tar xvf $PKGNAME-$PKGVERSION.tar.xz 38 tar xvf $PKGNAME-$PKGVERSION.tar.xz
39 cd $PKGNAME-$PKGVERSION 39 cd $PKGNAME-$PKGVERSION
40 40
41 # --prefix=/.: complains if prefix is empty.
41 CC="$CC" \ 42 CC="$CC" \
42 CFLAGS="$CFLAGS" \ 43 CFLAGS="$CFLAGS" \
43 CXX="$CXX" \ 44 CXX="$CXX" \
44 CXXFLAGS="$CXXFLAGS" \ 45 CXXFLAGS="$CXXFLAGS" \
45 LDFLAGS="$LDFLAGS" \ 46 LDFLAGS="$LDFLAGS" \
51 --enable-shared \ 52 --enable-shared \
52 --with-gmp=system 53 --with-gmp=system
53 make 54 make
54 make install DESTDIR=$DESTDIR 55 make install DESTDIR=$DESTDIR
55 rm -f $DESTDIR/lib/libisl.la 56 rm -f $DESTDIR/lib/libisl.la
57 sed -i -e "s|prefix=/|prefix=|" $DESTDIR/lib/pkgconfig/*.pc
56 58
57 cd .. 59 cd ..
58 rm -rf $PKGNAME-$PKGVERSION 60 rm -rf $PKGNAME-$PKGVERSION
59 } 61 }