1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
#!/bin/bash
echo debian/man/amk_fft2.1
echo debian/man/amk_hy.1
echo debian/man/amk_m2.1
echo debian/man/amk_p2.1
echo debian/man/gscat.1
echo debian/man/gmk_m2.1
echo debian/man/gmk_m3.1
echo debian/man/gmk_ub2.1
echo debian/man/scotch_esmumps.1
echo debian/man/scotch_binaries.1
# separate scotch from ptscotch binaries
SCOTCH_BINARIES=$( for f in debian/tmp/usr/bin/*; do
uses_scotch=`objdump -p $f | grep -q libscotch.so; echo $?`
uses_ptscotch=`objdump -p $f | grep -q libptscotch.so; echo $?`
if [ $uses_scotch = 0 ] && [ $uses_ptscotch != 0 ]; then
echo `basename $f`;
fi;
done)
for file in $SCOTCH_BINARIES; do
p=debian/tmp/usr/share/man/man1/${file}.1
if [ -e $p ]; then
echo $p
fi
done
# gmap.1, gbase.1 will need to be renamed as scotch_gmap.1 in override_dh_installman
echo man/man1/gmap.1
echo man/man1/gbase.1
|
