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.

diff --git a/framework/bin/install_dev b/framework/bin/install_dev
index 4b2c7aa..e959985 100755 (executable)
--- 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');