Rev 9 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 9 | Rev 62 | ||
|---|---|---|---|
| Line 6... | Line 6... | ||
| 6 | 6 | ||
| 7 | @DPATCH@ |
7 | @DPATCH@ |
| 8 | diff -urNad trunk~/lib/master.pike.in trunk/lib/master.pike.in |
8 | diff -urNad trunk~/lib/master.pike.in trunk/lib/master.pike.in |
| 9 | --- trunk~/lib/master.pike.in 2007-01-01 01:28:04.000000000 +0100 |
9 | --- trunk~/lib/master.pike.in 2007-01-01 01:28:04.000000000 +0100 |
| 10 | +++ trunk/lib/master.pike.in 2007-10-02 14:04:02.000000000 +0200 |
10 | +++ trunk/lib/master.pike.in 2007-10-02 14:04:02.000000000 +0200 |
| 11 | @@ -1111,6 +1111,14 @@ |
11 | @@ -2094,6 +2094,14 @@ |
| 12 | add_module_path("¤lib_prefix¤/modules");
|
12 | add_module_path("#lib_prefix#/modules");
|
| 13 | #endif |
13 | #endif |
| 14 | 14 | ||
| 15 | + // Debian paths |
15 | + // Debian paths |
| 16 | + add_include_path("/usr/local/include/pike");
|
16 | + add_include_path("/usr/local/include/pike");
|
| 17 | + add_include_path("/usr/local/include/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__);
|
17 | + add_include_path("/usr/local/include/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__);
|
| 18 | + add_module_path("/usr/local/lib/pike/site_pike");
|
18 | + add_module_path("/usr/local/lib/pike/site_pike");
|
| 19 | + add_module_path("/usr/local/lib/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike");
|
19 | + add_module_path("/usr/local/lib/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike");
|
| 20 | + add_module_path("/usr/local/share/pike/site_pike");
|
20 | + add_module_path("/usr/local/share/pike/site_pike");
|
| 21 | + add_module_path("/usr/local/share/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike");
|
21 | + add_module_path("/usr/local/share/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike");
|
| 22 | + |
22 | + |
| 23 | #if "¤include_prefix¤"[0]!='¤' |
23 | #if "#cflags# "[0]!='#' |
| 24 | include_prefix = "¤include_prefix¤"; |
24 | cflags = "#cflags#"; |
| 25 | #endif |
25 | #endif |