mirror of
https://github.com/php/php-gtk-src.git
synced 2026-04-28 03:23:17 +02:00
011a76e8e4
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
|
|
}
|
|
}
|