diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-08-03 19:42:27 +0200 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-08-03 19:43:21 +0200 |
commit | 8914a3e1437957825d9f2f78e3007e054532f721 (patch) | |
tree | 4d42c16e8165dd5a5ac4f3a4b3ca223429873ec0 /pkgs/development | |
parent | ef67fbd65b709570a0aad24ab8a86fdb772c7ce3 (diff) | |
download | nixpkgs-8914a3e1437957825d9f2f78e3007e054532f721.tar nixpkgs-8914a3e1437957825d9f2f78e3007e054532f721.tar.gz nixpkgs-8914a3e1437957825d9f2f78e3007e054532f721.tar.bz2 nixpkgs-8914a3e1437957825d9f2f78e3007e054532f721.tar.lz nixpkgs-8914a3e1437957825d9f2f78e3007e054532f721.tar.xz nixpkgs-8914a3e1437957825d9f2f78e3007e054532f721.tar.zst nixpkgs-8914a3e1437957825d9f2f78e3007e054532f721.zip |
guile-lib: support more platforms
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/guile-modules/guile-lib/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/guile-modules/guile-lib/default.nix b/pkgs/development/guile-modules/guile-lib/default.nix index b5c358373fd..6d6a88808e3 100644 --- a/pkgs/development/guile-modules/guile-lib/default.nix +++ b/pkgs/development/guile-modules/guile-lib/default.nix @@ -6,8 +6,6 @@ , texinfo }: -assert stdenv ? cc && stdenv.cc.isGNU; - stdenv.mkDerivation rec { pname = "guile-lib"; version = "0.2.7"; @@ -25,6 +23,8 @@ stdenv.mkDerivation rec { texinfo ]; + makeFlags = [ "GUILE_AUTO_COMPILE=0" ]; + doCheck = true; preCheck = '' @@ -44,6 +44,6 @@ stdenv.mkDerivation rec { ''; license = licenses.gpl3Plus; maintainers = with maintainers; [ vyp ]; - platforms = platforms.gnu ++ platforms.linux; + platforms = guile.meta.platforms; }; } |