diff options
author | Naïm Favier <n@monade.li> | 2023-01-12 18:32:26 +0100 |
---|---|---|
committer | Naïm Favier <n@monade.li> | 2023-01-12 18:32:26 +0100 |
commit | 1bc5ddcff4071394a793320f7cc1d7b5766c6c1a (patch) | |
tree | 6c3535f22f7cba61d34e365ffd3a1c16f886a0c3 /pkgs/development/libraries/agda | |
parent | e22f213ae1b81b9635e32c27f032e246f276f2d8 (diff) |
agdaPackages.cubical: clean up
- use `C.UTF-8` so that we don't have to depend on glibcLocales - remove now unnecessary AGDA_EXEC - run pre/post-build hooks - add ncfavier as maintainer
Diffstat (limited to 'pkgs/development/libraries/agda')
-rw-r--r-- | pkgs/development/libraries/agda/cubical/default.nix | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/pkgs/development/libraries/agda/cubical/default.nix b/pkgs/development/libraries/agda/cubical/default.nix index e4801fbda8e33..a69edded5b3d2 100644 --- a/pkgs/development/libraries/agda/cubical/default.nix +++ b/pkgs/development/libraries/agda/cubical/default.nix @@ -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 ]; }; } |