2022-10-26 15:10:47 +02:00
|
|
|
# Functions for copying sources to the Nix store.
|
2017-07-29 02:05:35 +02:00
|
|
|
{ lib }:
|
2022-10-26 15:10:47 +02:00
|
|
|
|
|
|
|
let
|
2023-04-05 16:10:09 +02:00
|
|
|
inherit (builtins)
|
|
|
|
readDir
|
|
|
|
pathExists
|
|
|
|
;
|
|
|
|
|
2022-10-26 15:10:47 +02:00
|
|
|
inherit (lib.strings)
|
|
|
|
hasPrefix
|
|
|
|
;
|
2023-04-05 16:10:09 +02:00
|
|
|
|
|
|
|
inherit (lib.filesystem)
|
|
|
|
pathType
|
|
|
|
;
|
2022-10-26 15:10:47 +02:00
|
|
|
in
|
|
|
|
|
|
|
|
{
|
2023-04-05 16:10:09 +02:00
|
|
|
|
|
|
|
/*
|
|
|
|
Returns the type of a path: regular (for file), symlink, or directory.
|
|
|
|
*/
|
2023-04-05 16:13:03 +02:00
|
|
|
pathType = path:
|
2023-04-05 16:58:29 +02:00
|
|
|
if ! pathExists path
|
|
|
|
# Fail irrecoverably to mimic the historic behavior of this function and
|
|
|
|
# the new builtins.readFileType
|
|
|
|
then abort "lib.filesystem.pathType: Path ${toString path} does not exist."
|
2023-04-05 16:47:30 +02:00
|
|
|
# The filesystem root is the only path where `dirOf / == /` and
|
|
|
|
# `baseNameOf /` is not valid. We can detect this and directly return
|
|
|
|
# "directory", since we know the filesystem root can't be anything else.
|
2023-04-05 16:58:29 +02:00
|
|
|
else if dirOf path == path
|
2023-04-05 16:47:30 +02:00
|
|
|
then "directory"
|
|
|
|
else (readDir (dirOf path)).${baseNameOf path};
|
2023-04-05 16:10:09 +02:00
|
|
|
|
|
|
|
/*
|
|
|
|
Returns true if the path exists and is a directory, false otherwise.
|
|
|
|
*/
|
2023-04-05 16:13:03 +02:00
|
|
|
pathIsDirectory = path:
|
|
|
|
pathExists path && pathType path == "directory";
|
2023-04-05 16:10:09 +02:00
|
|
|
|
|
|
|
/*
|
|
|
|
Returns true if the path exists and is a regular file, false otherwise.
|
|
|
|
*/
|
2023-04-05 16:13:03 +02:00
|
|
|
pathIsRegularFile = path:
|
|
|
|
pathExists path && pathType path == "regular";
|
2023-04-05 16:10:09 +02:00
|
|
|
|
2022-10-26 15:10:47 +02:00
|
|
|
/*
|
|
|
|
A map of all haskell packages defined in the given path,
|
|
|
|
identified by having a cabal file with the same name as the
|
|
|
|
directory itself.
|
|
|
|
|
|
|
|
Type: Path -> Map String Path
|
|
|
|
*/
|
|
|
|
haskellPathsInDir =
|
|
|
|
# The directory within to search
|
|
|
|
root:
|
2017-05-01 16:49:59 +02:00
|
|
|
let # Files in the root
|
|
|
|
root-files = builtins.attrNames (builtins.readDir root);
|
|
|
|
# Files with their full paths
|
|
|
|
root-files-with-paths =
|
|
|
|
map (file:
|
|
|
|
{ name = file; value = root + "/${file}"; }
|
|
|
|
) root-files;
|
|
|
|
# Subdirectories of the root with a cabal file.
|
|
|
|
cabal-subdirs =
|
|
|
|
builtins.filter ({ name, value }:
|
|
|
|
builtins.pathExists (value + "/${name}.cabal")
|
|
|
|
) root-files-with-paths;
|
|
|
|
in builtins.listToAttrs cabal-subdirs;
|
2022-10-26 15:10:47 +02:00
|
|
|
/*
|
|
|
|
Find the first directory containing a file matching 'pattern'
|
|
|
|
upward from a given 'file'.
|
|
|
|
Returns 'null' if no directories contain a file matching 'pattern'.
|
|
|
|
|
|
|
|
Type: RegExp -> Path -> Nullable { path : Path; matches : [ MatchResults ]; }
|
|
|
|
*/
|
|
|
|
locateDominatingFile =
|
|
|
|
# The pattern to search for
|
|
|
|
pattern:
|
|
|
|
# The file to start searching upward from
|
|
|
|
file:
|
2017-03-04 19:15:23 +01:00
|
|
|
let go = path:
|
|
|
|
let files = builtins.attrNames (builtins.readDir path);
|
|
|
|
matches = builtins.filter (match: match != null)
|
|
|
|
(map (builtins.match pattern) files);
|
|
|
|
in
|
|
|
|
if builtins.length matches != 0
|
|
|
|
then { inherit path matches; }
|
|
|
|
else if path == /.
|
|
|
|
then null
|
|
|
|
else go (dirOf path);
|
|
|
|
parent = dirOf file;
|
|
|
|
isDir =
|
|
|
|
let base = baseNameOf file;
|
|
|
|
type = (builtins.readDir parent).${base} or null;
|
|
|
|
in file == /. || type == "directory";
|
|
|
|
in go (if isDir then file else parent);
|
2020-10-19 23:33:52 +02:00
|
|
|
|
|
|
|
|
2022-10-26 15:10:47 +02:00
|
|
|
/*
|
|
|
|
Given a directory, return a flattened list of all files within it recursively.
|
|
|
|
|
|
|
|
Type: Path -> [ Path ]
|
|
|
|
*/
|
|
|
|
listFilesRecursive =
|
|
|
|
# The path to recursively list
|
|
|
|
dir:
|
|
|
|
lib.flatten (lib.mapAttrsToList (name: type:
|
2020-10-19 23:33:52 +02:00
|
|
|
if type == "directory" then
|
|
|
|
lib.filesystem.listFilesRecursive (dir + "/${name}")
|
|
|
|
else
|
|
|
|
dir + "/${name}"
|
|
|
|
) (builtins.readDir dir));
|
|
|
|
|
2017-03-04 19:15:23 +01:00
|
|
|
}
|