changeset 14857:7371e127c351

pkg.m: create prefix directory, if it does not exist
author Rafael Laboissiere <rafael@laboissiere.net>
date Thu, 12 Jul 2012 06:38:07 +0200
parents c3fd61c59e9c
children a82fcd612c8f
files scripts/pkg/pkg.m
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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;