1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/bash
# separate scotch from ptscotch binaries
SCOTCH_BINARIES=$( for b in int/bin/*; do if ! grep -q ptscotch $b; then echo `basename $b`; fi; done )
for file in $SCOTCH_BINARIES; do
echo int/bin/${file} /usr/bin
echo int32/bin/${file}-int32 /usr/bin
echo int64/bin/${file}-int64 /usr/bin
echo long/bin/${file}-long /usr/bin
echo int/share/man/man1/${file}*.1.gz /usr/share/man/man1
done
echo int/share/man/man1/scotch_binaries.1.gz /usr/share/man/man1
echo doc/CeCILL-C_V1-en.txt /usr/share/doc/scotch
echo doc/CeCILL-C_V1-fr.txt /usr/share/doc/scotch
|
