2020-07-06 23:43:47 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
outdir=Generated
|
|
|
|
|
sourcever=4.0.0
|
2020-07-02 05:09:23 +00:00
|
|
|
|
2020-07-06 23:43:47 +00:00
|
|
|
wget http://ftp.acc.umu.se/pub/GNOME/sources/gtksourceview/4.0/gtksourceview-$sourcever.tar.xz
|
|
|
|
|
tar xf gtksourceview-$sourcever.tar.xz
|
2020-07-02 05:09:23 +00:00
|
|
|
|
2020-07-06 23:43:47 +00:00
|
|
|
if [ -d $outdir ];
|
|
|
|
|
then
|
|
|
|
|
rm -rf $outdir
|
|
|
|
|
fi
|
2020-07-02 05:09:23 +00:00
|
|
|
|
2020-07-06 23:43:47 +00:00
|
|
|
../../OldStuff/parser/gapi3-parser SourceView.source
|
|
|
|
|
|
|
|
|
|
rm gtksourceview-$sourcever.tar.xz
|
|
|
|
|
rm -rf gtksourceview-$sourcever
|
