BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Merge pull request #210405 from ncfavier/cubical-cleanup

Browse source
This commit is contained in:
Naïm Favier 2023-01-17 10:36:02 +01:00 committed by GitHub
commit 682381bf3f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
pkgs/development/libraries/agda/cubical/default.nix
View file

@ -1,4 +1,4 @@
{ lib, mkDerivation, fetchFromGitHub, ghc, glibcLocales }:
{ lib, mkDerivation, fetchFromGitHub, ghc }:
mkDerivation rec {
pname = "cubical";
@ -11,15 +11,15 @@ mkDerivation rec {
hash = "sha256-bnHz5uZXZnn1Zd36tq/veA4yT7dhJ1c+AYpgdDfSRzE=";
};
LC_ALL = "en_US.UTF-8";
preConfigure = ''export AGDA_EXEC=agda'';
LC_ALL = "C.UTF-8";
# The cubical library has several `Everything.agda` files, which are
# compiled through the make file they provide.
nativeBuildInputs = [ ghc glibcLocales ];
nativeBuildInputs = [ ghc ];
buildPhase = ''
runHook preBuild
make
runHook postBuild
'';
meta = with lib; {
@ -28,6 +28,6 @@ mkDerivation rec {
homepage = src.meta.homepage;
license = licenses.mit;
platforms = platforms.unix;
maintainers = with maintainers; [ alexarice ryanorendorff ];
maintainers = with maintainers; [ alexarice ryanorendorff ncfavier ];
};
}