X-Git-Url: https://git.cweiske.de/bdrem.git/blobdiff_plain/6d93322bd314ffe59bdd12e525c7511e43037dfd..de289237fb227b373274fc6a029cddfbed9f802a:/bin/fetch-deps.php diff --git a/bin/fetch-deps.php b/bin/fetch-deps.php deleted file mode 100755 index 112a1f0..0000000 --- a/bin/fetch-deps.php +++ /dev/null @@ -1,45 +0,0 @@ -#!/usr/bin/env php -packageInfo($pkgname, null, $channel); - if ($pkginfo === null) { - echo 'Package not found: ' . $dep . "\n"; - exit(1); - } - - echo "Copying " . $channel . '/' . $pkgname . "\n"; - $files = 0; - foreach ($pkginfo['filelist'] as $fileinfo) { - if ($fileinfo['role'] != 'php') { - continue; - } - - $orig = $fileinfo['installed_as']; - $path = $libdir . ltrim( - $fileinfo['baseinstalldir'] . '/' . $fileinfo['name'], '/' - ); - $dir = dirname($path); - if (!is_dir($dir)) { - mkdir($dir, 0777, true); - } - if (!copy($orig, $path)) { - echo " Error copying $orig to $path\n"; - exit(2); - } - ++$files; - } - echo " copied $files files\n"; -} -?>