Rev 9 | Only display areas with differences | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 9 | Rev 18 | ||
---|---|---|---|
1 | #! /bin/sh /usr/share/dpatch/dpatch-run |
1 | #! /bin/sh /usr/share/dpatch/dpatch-run |
2 | ## 01_master.in.dpatch by <magnus@kibibyte.se> |
2 | ## 01_master.in.dpatch by <magnus@kibibyte.se> |
3 | ## |
3 | ## |
4 | ## All lines beginning with `## DP:' are a description of the patch. |
4 | ## All lines beginning with `## DP:' are a description of the patch. |
5 | ## DP: Add local site-pike directories to master.pike.in |
5 | ## DP: Add local site-pike directories to master.pike.in |
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 | @@ -1111,6 +1111,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 "¤include_prefix¤"[0]!='¤' |
24 | include_prefix = "¤include_prefix¤"; |
24 | include_prefix = "¤include_prefix¤"; |
25 | #endif |
25 | #endif |