最近http://ftp.gnome.org/pub/gnome/binaries/win32/gtk+/2.24/gtk+-bundle_2.24.10-20120208_win32.zipから GTK をインストールしました。これからインストールされたものは、少なくとも場合によっては、その行にpkg-config追加するのが好きなようです:^M
$ /cygdrive/d/opt/gtk/bin/pkg-config gtk+-2.0 --libs >foo; cat -v foo; rm foo
-LD:/opt/gtk/lib -lgtk-win32-2.0 -lgdk-win32-2.0 -latk-1.0 -lgio-2.0 -lpangowin32-1.0 -lgdi32 -lpangocairo-1.0 -lgdk_pixbuf-2.0 -lpango-1.0 -lcairo -lgobject-2.0 -lgmodule-2.0 -lgthread-2.0 -lglib-2.0 -lintl ^M
これにより、ソースから Coq をビルドするために必要な lablgtk2 の configure スクリプトが壊れます。(Coqlablgtk2.sourceview2は、ビルド済みの Windows バージョンにlablgtk2は含まれていないように見える をテストします。
pkg-configgtk+ の追加を停止するにはどうすればよいですか^M(またはlablgtk2.sourceview2他の方法を取得します)?