comparison: src/main/resources/make/configure.vm
src/main/resources/make/configure.vm
- changeset 136
- 6d4d165fc8f5
- parent 135
- 9afe68b15c66
- child 138
- 479114bc3fac
equal
deleted
inserted
replaced
| 135:9afe68b15c66 | 136:6d4d165fc8f5 |
|---|---|
| 106 --infodir=DIR info documentation [DATAROOTDIR/info] | 106 --infodir=DIR info documentation [DATAROOTDIR/info] |
| 107 --mandir=DIR man documentation [DATAROOTDIR/man] | 107 --mandir=DIR man documentation [DATAROOTDIR/man] |
| 108 --localedir=DIR locale-dependent data [DATAROOTDIR/locale] | 108 --localedir=DIR locale-dependent data [DATAROOTDIR/locale] |
| 109 | 109 |
| 110 Build Types: | 110 Build Types: |
| 111 --debug add extra compile flags for debug builds | 111 --debug add extra compile flags for debug builds |
| 112 --release add extra compile flags for release builds | 112 --release add extra compile flags for release builds |
| 113 #if( $options.size() > 0 ) | 113 #if( $options.size() > 0 ) |
| 114 | 114 |
| 115 Options: | 115 Options: |
| 116 #foreach( $opt in $options ) | 116 #foreach( $opt in $options ) |
| 117 --${opt.argument}=${opt.valuesString} | 117 --${opt.argument}=${opt.valuesString} |
