# HG changeset patch
# User Rafael Laboissiere <rafael@laboissiere.net>
# Date 1342067887 -7200
# Node ID 7371e127c351229ef16c512a45462161af6159ae
# Parent  c3fd61c59e9c6e816fa8ecfbe13c5c58602087cb
pkg.m: create prefix directory, if it does not exist

diff -r c3fd61c59e9c -r 7371e127c351 scripts/pkg/pkg.m
--- a/scripts/pkg/pkg.m	Mon Jul 09 17:00:46 2012 -0700
+++ b/scripts/pkg/pkg.m	Thu Jul 12 06:38:07 2012 +0200
@@ -421,6 +421,13 @@
         global_packages = archprefix;
       elseif (length (files) >= 1 && nargout <= 2 && ischar (files{1}))
         prefix = files{1};
+        try
+          prefix = absolute_pathname (prefix);
+        catch
+          mkdir (prefix);
+          warning ("creating the directory %s\n", prefix);
+          prefix = absolute_pathname (prefix);
+        end_try_catch
         prefix = absolute_pathname (prefix);
         local_packages = prefix;
         user_prefix = true;