| 8,8 → 8,8 |
|---|
| #endif |
| |
| + // Debian paths |
| + add_include_path("/usr/local/lib/pike"+__REAL_VERSION__+"/include"); |
| + add_module_path("/usr/local/lib/pike"+__REAL_VERSION__+"/modules"); |
| + add_include_path("/usr/local/lib/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/include"); |
| + add_module_path("/usr/local/lib/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/modules"); |
| + |
| #if "#cflags# "[0]!='#' |
| cflags = "#cflags#"; |
| 24,7 → 24,7 |
|---|
| -// master() puts the lib/modules path last. |
| -string system_module_path=master()->system_module_path[-1]; |
| + |
| +string system_module_path="/usr/local/lib/pike"+__REAL_VERSION__+"/modules"; |
| +string system_module_path="/usr/local/lib/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/modules"; |
| |
| // where do we install the documentation? |
| string system_doc_path = master()->doc_prefix; |