diff options
author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-02-24 22:20:59 +0100 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-02-25 22:58:10 +0700 |
commit | d7b1f822e73692f28be77975bcf7113836468df1 (patch) | |
tree | 0424d1bf4f3a59afb6d51d2b5403a7a469c96337 /libraries/ocaml-findlib/doinst.sh | |
parent | bab69f551d7b7cf14511645fb1f8bbf9b644b0bd (diff) | |
download | slackbuilds-d7b1f822e73692f28be77975bcf7113836468df1.tar.gz slackbuilds-d7b1f822e73692f28be77975bcf7113836468df1.tar.xz |
libraries/ocaml-findlib: Updated for version 1.9.1.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'libraries/ocaml-findlib/doinst.sh')
-rw-r--r-- | libraries/ocaml-findlib/doinst.sh | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/libraries/ocaml-findlib/doinst.sh b/libraries/ocaml-findlib/doinst.sh index 842fcab2f7..fcce56473e 100644 --- a/libraries/ocaml-findlib/doinst.sh +++ b/libraries/ocaml-findlib/doinst.sh @@ -1,14 +1,14 @@ -#!/bin/sh config() { - old="$1" - new="$old.new" - if [ ! -r $old ]; then - mv $new $old - elif [ "$(cat $old | md5sum)" = "$(cat $new | md5sum)" ]; then - rm $new + NEW="$1" + OLD="$(dirname $NEW)/$(basename $NEW .new)" + if [ ! -r $OLD ]; then + mv $NEW $OLD + elif [ "$(cat $OLD | md5sum)" = "$(cat $NEW | md5sum)" ]; then + # toss the redundant copy + rm $NEW fi } -config etc/findlib.conf +config etc/findlib.conf.new destdir=$(chroot . /usr/bin/ocamlfind printconf destdir)/stublibs ldconf=$(chroot . /usr/bin/ocamlfind printconf ldconf) |