comparison lib/isl/isl.sh @ 1218:57dc83a39b13

misc: switch back to standard FHS
author David Demelier <markand@malikania.fr>
date Thu, 30 Sep 2021 08:58:34 +0200
parents 6710613b88b9
children 4ccc42bf0284
comparison
equal deleted inserted replaced
1217:27d1a83dc8d6 1218:57dc83a39b13
34 34
35 rm -rf $PKGNAME-$PKGVERSION 35 rm -rf $PKGNAME-$PKGVERSION
36 tar xvf $PKGNAME-$PKGVERSION.tar.xz 36 tar xvf $PKGNAME-$PKGVERSION.tar.xz
37 cd $PKGNAME-$PKGVERSION 37 cd $PKGNAME-$PKGVERSION
38 38
39 # --prefix=/.: complains if prefix is empty. 39 # --prefix=/usr/.: complains if prefix is empty.
40 CC="$CC" \ 40 CC="$CC" \
41 CFLAGS="$CFLAGS" \ 41 CFLAGS="$CFLAGS" \
42 CXX="$CXX" \ 42 CXX="$CXX" \
43 CXXFLAGS="$CXXFLAGS" \ 43 CXXFLAGS="$CXXFLAGS" \
44 LDFLAGS="$LDFLAGS" \ 44 LDFLAGS="$LDFLAGS" \
45 LIBS="$LIBS" \ 45 LIBS="$LIBS" \
46 ./configure \ 46 ./configure \
47 --build=$CBUILD \ 47 --build=$CBUILD \
48 --host=$CHOST \ 48 --host=$CHOST \
49 --prefix=/. \ 49 --prefix=/usr/. \
50 --enable-shared \ 50 --enable-shared \
51 --with-gmp=system 51 --with-gmp=system
52 make 52 make
53 make install DESTDIR=$DESTDIR 53 make install DESTDIR=$DESTDIR
54 find $DESTDIR -type f -name "*.la" -delete 54 find $DESTDIR -type f -name "*.la" -delete