Rev 9 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 2 | magnus | 1 | #! /bin/sh /usr/share/dpatch/dpatch-run |
| 3 | magnus | 2 | ## 01_master.in.dpatch by <magnus@kibibyte.se> |
| 2 | magnus | 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@ |
||
| 3 | magnus | 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 | magnus | 10 | +++ trunk/lib/master.pike.in 2007-10-02 14:04:02.000000000 +0200 |
| 62 | holmgren | 11 | @@ -2094,6 +2094,14 @@ |
| 12 | add_module_path("#lib_prefix#/modules"); |
||
| 2 | magnus | 13 | #endif |
| 9 | magnus | 14 | |
| 2 | magnus | 15 | + // Debian paths |
| 16 | + add_include_path("/usr/local/include/pike"); |
||
| 17 | + add_include_path("/usr/local/include/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__); |
||
| 18 | + add_module_path("/usr/local/lib/pike/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"); |
||
| 21 | + add_module_path("/usr/local/share/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike"); |
||
| 9 | magnus | 22 | + |
| 62 | holmgren | 23 | #if "#cflags# "[0]!='#' |
| 24 | cflags = "#cflags#"; |
||
| 9 | magnus | 25 | #endif |