Subversion Repositories

?revision_form?Rev ?revision_input??revision_submit??revision_endform?

Rev 8 | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 8 Rev 9
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-09-26 09:26:21.000000000 +0200
10
+++ trunk/lib/master.pike.in	2007-10-02 14:04:02.000000000 +0200
11
@@ -1115,6 +1115,14 @@
11
@@ -1111,6 +1111,14 @@
12
   include_prefix = "¤include_prefix¤";
12
   add_module_path("¤lib_prefix¤/modules");
13
 #endif
13
 #endif
14
   system_module_path=pike_module_path;
-
 
15
+
14
 
16
+  // Debian paths
15
+  // Debian paths
17
+  add_include_path("/usr/local/include/pike");
16
+  add_include_path("/usr/local/include/pike");
18
+  add_include_path("/usr/local/include/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__);
17
+  add_include_path("/usr/local/include/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__);
19
+  add_module_path("/usr/local/lib/pike/site_pike");
18
+  add_module_path("/usr/local/lib/pike/site_pike");
20
+  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");
21
+  add_module_path("/usr/local/share/pike/site_pike");
20
+  add_module_path("/usr/local/share/pike/site_pike");
22
+  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");
23
 }
-
 
24
 
22
+
-
 
23
 #if "¤include_prefix¤"[0]!='¤'
-
 
24
   include_prefix = "¤include_prefix¤";
25
 
25
 #endif