3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/build-support/agda/default.nix

90 lines
2.7 KiB
Nix
Raw Normal View History

2019-12-29 12:14:16 +00:00
# Builder for Agda packages.
2014-08-31 18:40:11 +01:00
{ stdenv, lib, self, Agda, runCommand, makeWrapper, writeText, ghcWithPackages, nixosTests }:
2014-08-31 18:40:11 +01:00
2019-12-29 12:14:16 +00:00
with lib.strings;
2014-08-31 18:40:11 +01:00
let
2019-12-29 12:14:16 +00:00
withPackages' = {
pkgs,
ghc ? ghcWithPackages (p: with p; [ ieee754 ])
2019-12-29 12:14:16 +00:00
}: let
pkgs' = if builtins.isList pkgs then pkgs else pkgs self;
library-file = writeText "libraries" ''
${(concatMapStringsSep "\n" (p: "${p}/${p.libraryFile}") pkgs')}
'';
2019-12-29 12:14:16 +00:00
pname = "agdaWithPackages";
version = Agda.version;
in runCommand "${pname}-${version}" {
2019-12-29 12:14:16 +00:00
inherit pname version;
nativeBuildInputs = [ makeWrapper ];
passthru = {
unwrapped = Agda;
tests = { inherit (nixosTests) agda; };
};
2019-12-29 12:14:16 +00:00
} ''
mkdir -p $out/bin
makeWrapper ${Agda}/bin/agda $out/bin/agda \
--add-flags "--with-compiler=${ghc}/bin/ghc" \
--add-flags "--library-file=${library-file}" \
--add-flags "--local-interfaces"
makeWrapper ${Agda}/bin/agda-mode $out/bin/agda-mode
''; # Local interfaces has been added for now: See https://github.com/agda/agda/issues/4526
withPackages = arg: if builtins.isAttrs arg then withPackages' arg else withPackages' { pkgs = arg; };
2020-05-31 11:02:48 +01:00
extensions = [
"agda"
"agda-lib"
"agdai"
"lagda"
"lagda.md"
"lagda.org"
"lagda.rst"
"lagda.tex"
];
2019-12-29 12:14:16 +00:00
defaults =
{ pname
, meta
2019-12-29 12:14:16 +00:00
, buildInputs ? []
, everythingFile ? "./Everything.agda"
, includePaths ? []
2019-12-29 12:14:16 +00:00
, libraryName ? pname
, libraryFile ? "${libraryName}.agda-lib"
, buildPhase ? null
, installPhase ? null
2020-05-31 11:02:48 +01:00
, extraExtensions ? []
2019-12-29 12:14:16 +00:00
, ...
}: let
agdaWithArgs = withPackages (builtins.filter (p: p ? isAgdaDerivation) buildInputs);
includePathArgs = concatMapStrings (path: "-i" + path + " ") (includePaths ++ [(dirOf everythingFile)]);
2019-12-29 12:14:16 +00:00
in
{
inherit libraryName libraryFile;
isAgdaDerivation = true;
buildInputs = buildInputs ++ [ agdaWithArgs ];
buildPhase = if buildPhase != null then buildPhase else ''
runHook preBuild
agda ${includePathArgs} ${everythingFile}
2019-12-29 12:14:16 +00:00
runHook postBuild
'';
installPhase = if installPhase != null then installPhase else ''
runHook preInstall
mkdir -p $out
find -not \( -path ${everythingFile} -or -path ${lib.interfaceFile everythingFile} \) -and \( ${concatMapStringsSep " -or " (p: "-name '*.${p}'") (extensions ++ extraExtensions)} \) -exec cp -p --parents -t "$out" {} +
2019-12-29 12:14:16 +00:00
runHook postInstall
'';
meta = if meta.broken or false then meta // { hydraPlatforms = lib.platforms.none; } else meta;
2014-08-31 18:40:11 +01:00
};
in
2019-12-29 12:14:16 +00:00
{
mkDerivation = args: stdenv.mkDerivation (args // defaults args);
inherit withPackages withPackages';
}