| 7,11 → 7,12 |
|---|
| @DPATCH@ |
| diff -urNad trunk~/lib/master.pike.in trunk/lib/master.pike.in |
| --- trunk~/lib/master.pike.in 2007-01-01 01:28:04.000000000 +0100 |
| +++ trunk/lib/master.pike.in 2007-10-02 14:04:02.000000000 +0200 |
| @@ -1111,6 +1111,14 @@ |
| add_module_path("¤lib_prefix¤/modules"); |
| +++ trunk/lib/master.pike.in 2007-09-26 09:26:21.000000000 +0200 |
| @@ -1115,6 +1115,14 @@ |
| include_prefix = "¤include_prefix¤"; |
| #endif |
| |
| system_module_path=pike_module_path; |
| + |
| + // Debian paths |
| + add_include_path("/usr/local/include/pike"); |
| + add_include_path("/usr/local/include/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__); |
| 19,7 → 20,6 |
|---|
| + add_module_path("/usr/local/lib/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike"); |
| + add_module_path("/usr/local/share/pike/site_pike"); |
| + add_module_path("/usr/local/share/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike"); |
| + |
| #if "¤include_prefix¤"[0]!='¤' |
| include_prefix = "¤include_prefix¤"; |
| #endif |
| } |
| |
| |