File: make_dist_definitions

package info (click to toggle)
grib-api 1.19.0-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 217,848 kB
  • ctags: 16,929
  • sloc: ansic: 111,244; sh: 14,785; makefile: 5,307; f90: 3,583; perl: 3,160; python: 2,830; yacc: 712; fortran: 468; lex: 330; cpp: 305; awk: 66
file content (29 lines) | stat: -rwxr-xr-x 696 bytes parent folder | download | duplicates (2)
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
set -e
make dist

. ./version.sh
libraryVersion=$GRIB_API_MAJOR_VERSION.$GRIB_API_MINOR_VERSION.$GRIB_API_REVISION_VERSION
tar=grib_api-$libraryVersion.tar.gz
dir=grib_api-$libraryVersion

rm -rf $dir | true
tar zxvf $tar

version=`grep definitionFilesVersion $dir/definitions/*.def | awk 'BEGIN {FS="\"";}{print $2;}' `
echo definitions version $version

definitions=grib_def-$version

rm -rf $definitions | true

cp -r $dir/definitions $definitions
install=$definitions/installDefinitions.sh
rm -f $install.new
sed s/%LIBRARY_VERSION%/$libraryVersion/g $install > $install.new
chmod +w $install.new
mv $install.new $install

tar zcvf $definitions.tar.gz $definitions

rm -rf $definitions $dir