misc: rewrite extract-gio-sources.sh to use gio-public-headers.txt

Rather than maintaining our own exclusion list, grab the text file
generated by commit ab0e9dbfa76e056f875e969c0d7b6e133ec75431 in glib.

Also it is now Python for sanity.

2 files changed, 28 insertions, 10 deletions

diff --git a/misc/extract-gio-sources.sh b/misc/extract-gio-sources.sh
deleted file mode 100755
index cf7dfe58..00000000
--- a/misc/extract-gio-sources.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh
-GLIBDIR=$1
-./g-ir-annotation-tool --extract \
-    -DGIO_COMPILATION \
-    -I$GLIBDIR \
-    -I$GLIBDIR/glib \
-    -I$GLIBDIR/gobject \
-    -I$GLIBDIR/gmodule \
-    -I$GLIBDIR/gio \
-    $GLIBDIR/gio/*.c $GLIBDIR/gio/*.h
diff --git a/misc/update-gio-annotations.py b/misc/update-gio-annotations.py
new file mode 100755
index 00000000..9588dd39
--- /dev/null
+++ b/misc/update-gio-annotations.py
@@ -0,0 +1,28 @@
+#!/usr/bin/env python
+
+import os
+import sys
+
+if __name__ == '__main__':
+    srcdir = sys.argv[1]
+    sources = []
+    projname = 'gio'
+    subdir = os.path.join(srcdir, projname)
+    headersfile = os.path.join(subdir, projname + '-public-headers.txt')
+    f = open(headersfile)
+    line = f.read()
+    f.close()
+    for headername in line.split(' '):
+        headername = headername.strip()
+        sources.append(os.path.join(subdir, headername))
+    for sourcename in os.listdir(subdir):
+        if sourcename.endswith('.c'):
+            sources.append(os.path.join(subdir, sourcename))
+    os.execv('./g-ir-annotation-tool',
+             ['./g-ir-annotation-tool', '--extract', '-DGOBJECT_COMPILATION',
+              '-DGIO_COMPILATION',
+              '-I' + srcdir,
+              '-I' + os.path.join(srcdir, 'glib'),
+              '-I' + os.path.join(srcdir, 'gobject'),
+              '-I' + os.path.join(srcdir, 'gio'),
+              '-I' + os.path.join(srcdir, 'gmodule')] + sources)