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
32
33
34
35
36
37
38
39
40
|
#!/bin/sh
#set -e
WORK_DIR=$PWD
DEBIAN_DIR=${WORK_DIR}/debian
INCLUDES_DIR=${DEBIAN_DIR}/includes/pwizlite
rm -rf ${INCLUDES_DIR}
cd src || exit 1
for file in $(find -type f | grep ".*\.h[p]\{0,2\}$" | sed 's|^./||')
do
# except files in debian/, .pc/ and doc/ !!!
echo ${file} | grep ^debian
debianDir=$?
echo ${file} | grep ^\.pc
dotPcDir=$?
if [ "${debianDir}" != 0 ] && [ "${dotPcDir}" != 0 ]
then
baseName=$(basename ${file})
echo "baseName: ${baseName}"
dirName=$(dirname ${file})
echo "dirName: ${dirName}"
mkdir -p ${INCLUDES_DIR}/${dirName}
cp -v ${file} ${INCLUDES_DIR}/${dirName}
fi
done
# Note that there are also *.inl files.
mkdir -p ${INCLUDES_DIR}/pwiz/data/common && \
cp pwiz/data/common/cv.inl ${INCLUDES_DIR}/pwiz/data/common/cv.inl
|
