blob: 842fcab2f78d569b1e5821d63d5d46073701d627 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/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
fi
}
config etc/findlib.conf
destdir=$(chroot . /usr/bin/ocamlfind printconf destdir)/stublibs
ldconf=$(chroot . /usr/bin/ocamlfind printconf ldconf)
if ! grep -q -s "${destdir##/}" "$ldconf"; then
echo "$destdir" >> "${ldconf##/}"
fi
|
