changeset 31126:65c4d98352d3 stable

pkg.m: Create PREFIX and ARCHPREFIX directories (bug #62681). * scripts/pkg/pkg.m: When installing a package, make sure that the PREFIX and ARCHPREFIX directories are created independent from the package build rules. We rely on it existing later on.
author Markus Mützel <markus.muetzel@gmx.de>
date Fri, 08 Jul 2022 12:46:37 +0200
parents 5cf18ef0377c
children cf5f46b2e052
files scripts/pkg/pkg.m
diffstat 1 files changed, 9 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/pkg/pkg.m	Mon Jul 04 20:36:01 2022 +0200
+++ b/scripts/pkg/pkg.m	Fri Jul 08 12:46:37 2022 +0200
@@ -600,6 +600,15 @@
             endfor
           endif
         endif
+
+        ## make sure the PREFIX and the ARCHPREFIX directories are created
+        if (! isfolder (prefix))
+          mkdir (prefix);
+        endif
+        if (! isfolder (archprefix))
+          mkdir (archprefix);
+        endif
+
         install (files, deps, prefix, archprefix, verbose, local_list,
                  global_list, global_install);