From 6bc8a3cbd32384d7d278cdbee72e4df94e4cc9bc Mon Sep 17 00:00:00 2001
From: "Michael J. Rubinsky" <mrubinsk@horde.org>
Date: Wed, 23 Dec 2009 20:35:08 -0500
Subject: [PATCH] Need to create the horde/config/horde.local.php file in the
 repo directory since core.php uses __FILE__ to get the path to it.

---
 framework/bin/install_dev | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/framework/bin/install_dev b/framework/bin/install_dev
index 4b2c7aa23..e959985a8 100755
--- a/framework/bin/install_dev
+++ b/framework/bin/install_dev
@@ -83,8 +83,9 @@ if (!empty($static_group)) {
 if ($debug) {
     print "\nLINKING framework\n";
 }
-file_put_contents($web_dir . '/config/horde.local.php', "<?php ini_set('include_path', dirname(__FILE__) . '/../libs' . PATH_SEPARATOR . ini_get('include_path'));");
+
 mkdir($web_dir . '/libs');
+file_put_contents($horde_git . '/horde/config/horde.local.php', "<?php ini_set('include_path', '{$web_dir}/libs' . PATH_SEPARATOR . ini_get('include_path'));");
 system('./install_framework --src ' . $horde_git . '/framework --dest ' . $web_dir . '/libs');
 system('./install_framework --src ' . $horde_hatchery . '/framework --dest ' . $web_dir . '/libs');
 
-- 
2.11.0