Mercurial > vanilla

annotate multimedia/gst-plugins-base/gst-plugins-base.sh @ 784:c4c953d0af41

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
graphics/mesa: fix script file
author David Demelier <markand@malikania.fr>
date Mon, 12 Aug 2019 08:06:50 +0200
parents e91fbcb3d1ef
children a133976e0783
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
711
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
1 #!/bin/sh
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
2 #
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
3 # Copyright (c) 2019 David Demelier <markand@malikania.fr>
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
4 #
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
5 # Permission to use, copy, modify, and/or distribute this software for any
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
6 # purpose with or without fee is hereby granted, provided that the above
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
7 # copyright notice and this permission notice appear in all copies.
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
8 #
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
9 # THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
10 # WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
11 # MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
12 # ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
13 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
14 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
15 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
16 #
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
17
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
18 # TODO: implements options VISUAL, TREMOR
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
19
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
20 PKGNAME=gst-plugins-base
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
21 PKGVERSION=1.16.0
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
22 PKGREVISION=1
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
23 PKGLICENSE="GPLv2"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
24 PKGSUMMARY="gstreamer base plugins"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
25 PKGDOWNLOAD="https://gstreamer.freedesktop.org/src/gst-plugins-base/$PKGNAME-$PKGVERSION.tar.xz"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
26 PKGDEPENDS="dev/meson:build multimedia/gstreamer"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
27 PKGOPTIONS="ALSA CDPARANOIA PANGO NLS OGG OPUS THEORA VORBIS X"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
28
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
29 : ${CC:=clang}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
30 : ${CFLAGS:=-O2}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
31 : ${CXX:=clang++}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
32 : ${CXXFLAGS:=-O2}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
33 : ${LDFLAGS:=}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
34 : ${ALSA:=yes}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
35 : ${CDPARANOIA:=yes}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
36 : ${PANGO:=yes}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
37 : ${OGG:=yes}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
38 : ${OPUS:=yes}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
39 : ${THEORA:=yes}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
40 : ${VORBIS:=yes}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
41 : ${X:=yes}
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
42
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
43 if [ "$ALSA" = "yes" ]; then
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
44 PKGDEPENDS="audio/alsa-lib $PKGDEPENDS"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
45 with_alsa="-D alsa=enabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
46 else
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
47 with_alsa="-D alsa=disabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
48 fi
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
49
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
50 if [ "$CDPARANOIA" = "yes" ]; then
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
51 PKGDEPENDS="audio/cdparanoia $PKGDEPENDS"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
52 with_cdparanoia="-D cdparanoia=enabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
53 else
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
54 with_cdparanoia="-D cdparanoia=disabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
55 fi
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
56
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
57 if [ "$PANGO" = "yes" ]; then
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
58 PKGDEPENDS="fonts/pango $PKGDEPENDS"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
59 with_pango="-D pango=enabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
60 else
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
61 with_pango="-D pango=disabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
62 fi
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
63
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
64 if [ "$OGG" = "yes" ]; then
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
65 PKGDEPENDS="audio/libogg $PKGDEPENDS"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
66 with_ogg="-D ogg=enabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
67 else
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
68 with_ogg="-D ogg=disabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
69 fi
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
70
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
71 if [ "$OPUS" = "yes" ]; then
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
72 PKGDEPENDS="audio/opus $PKGDEPENDS"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
73 with_opus="-D opus=enabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
74 else
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
75 with_opus="-D opus=disabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
76 fi
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
77
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
78 if [ "$THEORA" = "yes" ]; then
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
79 PKGDEPENDS="multimedia/libtheora $PKGDEPENDS"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
80 with_theora="-D theora=enabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
81 else
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
82 with_theora="-D theora=disabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
83 fi
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
84
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
85 if [ "$VORBIS" = "yes" ]; then
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
86 PKGDEPENDS="audio/libvorbis $PKGDEPENDS"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
87 with_vorbis="-D vorbis=enabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
88 else
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
89 with_vorbis="-D vorbis=disabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
90 fi
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
91
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
92 if [ "$X" = "yes" ]; then
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
93 PKGDEPENDS="x11/libxshmfence $PKGDEPENDS"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
94 with_x="-D x11=enabled -Dxshm=enabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
95 else
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
96 with_x="-D x11=disabled -Dxshm=disabled"
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
97 fi
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
98
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
99 build()
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
100 {
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
101 rm -rf $PKGNAME-$PKGVERSION
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
102 tar xvf $PKGNAME-$PKGVERSION.tar.xz
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
103 cd $PKGNAME-$PKGVERSION
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
104
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
105 CC="$CC" \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
106 CFLAGS="$CFLAGS" \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
107 CXX="$CXX" \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
108 CXXFLAGS="$CXXFLAGS" \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
109 LDFLAGS="$LDFLAGS" \
766
e91fbcb3d1ef vanilla: consolidate FHS
David Demelier <markand@malikania.fr>
parents: 711
diff changeset
110 meson . build \
711
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
111 --prefix / \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
112 --buildtype release \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
113 --default-library shared \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
114 -D tests=disabled \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
115 $with_alsa \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
116 $with_cdparanoia \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
117 $with_pango \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
118 $with_ogg \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
119 $with_opus \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
120 $with_theora \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
121 $with_vorbis \
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
122 $with_x
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
123 CC="$CC" ninja -C build
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
124 DESTDIR=$DESTDIR ninja -C build install
766
e91fbcb3d1ef vanilla: consolidate FHS
David Demelier <markand@malikania.fr>
parents: 711
diff changeset
125 sed -i -e "s|prefix=/|prefix=|" $DESTDIR/lib/pkgconfig/*.pc
711
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
126
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
127 cd ..
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
128 rm -rf $PKGNAME-$PKGVERSION
5e8b6691ded2 multimedia/gst-plugins-base: initial import, closes #1725
David Demelier <markand@malikania.fr>
parents:
diff changeset
129 }