| 14 |
14 |
| 15 option('gtkui', type : 'boolean', value : true, |
15 option('gtkui', type : 'boolean', value : true, |
| 16 description : 'compile with GTK+ user interface') |
16 description : 'compile with GTK+ user interface') |
| 17 option('consoleui', type : 'boolean', value : true, |
17 option('consoleui', type : 'boolean', value : true, |
| 18 description : 'compile with console user interface') |
18 description : 'compile with console user interface') |
| |
19 |
| |
20 option('doc', type : 'boolean', value : false, |
| |
21 description : 'build documentation with gtk-doc') |
| 19 |
22 |
| 20 option('screensaver', type : 'boolean', value : true, |
23 option('screensaver', type : 'boolean', value : true, |
| 21 description : 'compile with X screensaver extension (used to detect idleness)') |
24 description : 'compile with X screensaver extension (used to detect idleness)') |
| 22 |
25 |
| 23 option('sm', type : 'boolean', value : true, |
26 option('sm', type : 'boolean', value : true, |