mirror of
https://github.com/php/php-gtk-src.git
synced 2026-03-24 17:22:10 +01:00
system and is necessary in order to keep adding support for GtkObject based extensions such as GtkHtml, Bonobo, GtkScintilla and others. The only currently implemented extensions are Gtk+ and libglade. Each extension (except for Gtk+, obviously) can be enabled or disabled from the 'configure' command-line. The new build process for CVS versions of PHP-GTK is such: ./buildconf ./configure make
7 lines
127 B
Awk
7 lines
127 B
Awk
/php_gtk_ext_/ {
|
|
if (old_filename != FILENAME) {
|
|
printf "#include \"" FILENAME "\"@NEWLINE@"
|
|
old_filename = FILENAME
|
|
}
|
|
}
|