# HG changeset patch # User Markus Mützel # Date 1657277197 -7200 # Node ID 65c4d98352d329b610328a9ae09a5c1a7d446b92 # Parent 5cf18ef0377ccf457a90d135f091f17ea5afbaad 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. diff -r 5cf18ef0377c -r 65c4d98352d3 scripts/pkg/pkg.m --- 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);