diff options
author | Matteo Bernardini | 2019-10-12 08:21:51 +0200 |
---|---|---|
committer | Matteo Bernardini | 2019-10-12 08:21:51 +0200 |
commit | c4eaef19b5e3bdc8c4434b8361dff2b267b02b61 (patch) | |
tree | 04a00336b6792c85760bf4a372840936e279c16a /development/ocaml/ocaml.SlackBuild | |
parent | d66a0530d964c06cc3a20ccad1c8071297dedf4b (diff) | |
download | slackbuilds-current-20191012.1.tar.gz |
20191012.1 global branch merge.current-20191012.1
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/ocaml/ocaml.SlackBuild')
-rw-r--r-- | development/ocaml/ocaml.SlackBuild | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/development/ocaml/ocaml.SlackBuild b/development/ocaml/ocaml.SlackBuild index 1f0ea4e709..6b081b9a08 100644 --- a/development/ocaml/ocaml.SlackBuild +++ b/development/ocaml/ocaml.SlackBuild @@ -24,7 +24,8 @@ # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. PRGNAM=ocaml -VERSION=${VERSION:-4.03.0} +VERSION=${VERSION:-4.08.1} +MANVER=${MANVER:-4.08} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} @@ -70,17 +71,15 @@ find -L . \ \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; -patch < $CWD/configure.patch +sed "s|@CFLAGS@|$SLKCFLAGS|" $CWD/configure.patch | patch -p1 -CFLAGS="$SLKCFLAGS" ./configure \ +./configure \ --prefix /usr \ --libdir /usr/lib${LIBDIRSUFFIX}/ocaml \ - --host $ARCH-slackware-linux + --mandir /usr/man make -j1 world.opt -make -j1 install \ - PREFIX=$PKG/usr \ - LIBDIR=$PKG/usr/lib${LIBDIRSUFFIX}/ocaml +make -j1 DESTDIR=$PKG install find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true @@ -90,7 +89,7 @@ find $PKG/usr/man -type f -exec gzip -9 {} \; mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION cp -a Changes INSTALL* LICENSE README* VERSION \ $PKG/usr/doc/$PRGNAM-$VERSION -tar -xvf $CWD/ocaml-4.03-refman-html.tar.gz --no-same-owner -C $PKG/usr/doc/$PRGNAM-$VERSION/ +tar -xvf $CWD/ocaml-$MANVER-refman-html.tar.gz --no-same-owner -C $PKG/usr/doc/$PRGNAM-$VERSION/ cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild mkdir -p $PKG/install |