2020-06-18 07:06:33 +00:00
|
|
|
{ buildDhallPackage, fetchFromGitHub, lib }:
|
|
|
|
|
|
|
|
# This function is used by `dhall-to-nixpkgs` when given a GitHub repository
|
2020-11-12 09:05:59 +00:00
|
|
|
lib.makePackageOverridable
|
2020-06-18 07:06:33 +00:00
|
|
|
( { # Arguments passed through to `buildDhallPackage`
|
|
|
|
name
|
|
|
|
, dependencies ? []
|
|
|
|
, source ? false
|
|
|
|
|
|
|
|
, # The directory containing the Dhall files, if other than the root of the
|
|
|
|
# repository
|
|
|
|
directory ? ""
|
|
|
|
, # The file to import, relative to the above directory
|
|
|
|
file ? "package.dhall"
|
2020-12-03 08:41:04 +00:00
|
|
|
# Set to `true` to generate documentation for the package
|
|
|
|
, document ? false
|
2020-06-18 07:06:33 +00:00
|
|
|
|
|
|
|
# Arguments passed through to `fetchFromGitHub`
|
|
|
|
, owner
|
|
|
|
, repo
|
|
|
|
, rev
|
|
|
|
# Extra arguments passed through to `fetchFromGitHub`, such as the hash
|
|
|
|
# or `fetchSubmodules`
|
|
|
|
, ...
|
|
|
|
}@args:
|
|
|
|
|
2020-12-03 08:41:04 +00:00
|
|
|
let
|
2021-01-15 22:18:51 +00:00
|
|
|
versionedName = "${name}-${rev}";
|
|
|
|
|
2020-12-03 08:41:04 +00:00
|
|
|
src = fetchFromGitHub ({
|
2021-01-15 22:18:51 +00:00
|
|
|
name = "${versionedName}-source";
|
2020-12-03 08:41:04 +00:00
|
|
|
|
|
|
|
inherit owner repo rev;
|
|
|
|
} // removeAttrs args [
|
|
|
|
"name"
|
|
|
|
"dependencies"
|
|
|
|
"document"
|
|
|
|
"source"
|
|
|
|
"directory"
|
|
|
|
"file"
|
|
|
|
"owner"
|
|
|
|
"repo"
|
|
|
|
"rev"
|
|
|
|
]);
|
|
|
|
|
2021-07-03 03:11:41 +00:00
|
|
|
prefix = lib.optionalString (directory != "") "/${directory}";
|
2020-12-03 08:41:04 +00:00
|
|
|
|
|
|
|
in
|
|
|
|
buildDhallPackage
|
2021-01-15 22:18:51 +00:00
|
|
|
( { inherit dependencies source;
|
|
|
|
|
|
|
|
name = versionedName;
|
2020-12-03 08:41:04 +00:00
|
|
|
|
2021-07-03 03:11:41 +00:00
|
|
|
code = "${src}${prefix}/${file}";
|
2020-12-03 08:41:04 +00:00
|
|
|
}
|
|
|
|
// lib.optionalAttrs document
|
2021-07-03 03:11:41 +00:00
|
|
|
{ documentationRoot = "${src}/${prefix}";
|
|
|
|
|
|
|
|
baseImportUrl = "https://raw.githubusercontent.com/${owner}/${repo}/${rev}${prefix}";
|
|
|
|
}
|
2020-12-03 08:41:04 +00:00
|
|
|
)
|
2020-06-18 07:06:33 +00:00
|
|
|
)
|