Rev 3 | Go to most recent revision | Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
2 | magnus | 1 | #! /bin/sh /usr/share/dpatch/dpatch-run |
2 | ## 01_master.in.dpatch by <magnus@proffe.kibibyte.se> |
||
3 | ## |
||
4 | ## All lines beginning with `## DP:' are a description of the patch. |
||
5 | ## DP: Add local site-pike directories to master.pike.in |
||
6 | |||
7 | @DPATCH@ |
||
8 | |||
9 | diff -U3 -Narp pike7.6-7.6.24/lib/master.pike.in pike7.6-7.6.24.new/lib/master.pike.in |
||
10 | --- pike7.6-7.6.24/lib/master.pike.in 2004-07-23 14:17:24 +0200 |
||
11 | +++ pike7.6-7.6.24.new/lib/master.pike.in 2005-01-06 23:27:54 +0100 |
||
12 | @@ -565,6 +565,14 @@ string normalize_path( string path ) |
||
13 | #else |
||
14 | return replace(path,"\\","/"); |
||
15 | #endif |
||
16 | + |
||
17 | + // Debian paths |
||
18 | + add_include_path("/usr/local/include/pike"); |
||
19 | + add_include_path("/usr/local/include/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__); |
||
20 | + add_module_path("/usr/local/lib/pike/site_pike"); |
||
21 | + add_module_path("/usr/local/lib/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike"); |
||
22 | + add_module_path("/usr/local/share/pike/site_pike"); |
||
23 | + add_module_path("/usr/local/share/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike"); |
||
24 | } |
||
25 | |||
26 | //! Mapping containing the cache of currently compiled files. |