diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-07-17 12:01:55 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-17 12:01:55 +0000 |
commit | 732bd85cf5ce831a88eb7871fd186c386a6493b0 (patch) | |
tree | f2f0e28400338209efd16ff0459e5769e566b052 /pkgs/development/libraries | |
parent | 29bbe7c6169adf86e8e51f14ef6c133480f608df (diff) | |
parent | 4ee4d805d29afac902a3c631ab13ad08fbe1e84d (diff) | |
download | nixpkgs-732bd85cf5ce831a88eb7871fd186c386a6493b0.tar nixpkgs-732bd85cf5ce831a88eb7871fd186c386a6493b0.tar.gz nixpkgs-732bd85cf5ce831a88eb7871fd186c386a6493b0.tar.bz2 nixpkgs-732bd85cf5ce831a88eb7871fd186c386a6493b0.tar.lz nixpkgs-732bd85cf5ce831a88eb7871fd186c386a6493b0.tar.xz nixpkgs-732bd85cf5ce831a88eb7871fd186c386a6493b0.tar.zst nixpkgs-732bd85cf5ce831a88eb7871fd186c386a6493b0.zip |
Merge staging-next into staging
Diffstat (limited to 'pkgs/development/libraries')
-rw-r--r-- | pkgs/development/libraries/agda/standard-library/default.nix | 6 | ||||
-rw-r--r-- | pkgs/development/libraries/argp-standalone/default.nix | 6 | ||||
-rw-r--r-- | pkgs/development/libraries/eventlog/default.nix | 4 |
3 files changed, 11 insertions, 5 deletions
diff --git a/pkgs/development/libraries/agda/standard-library/default.nix b/pkgs/development/libraries/agda/standard-library/default.nix index b77c9044834..99cb863a598 100644 --- a/pkgs/development/libraries/agda/standard-library/default.nix +++ b/pkgs/development/libraries/agda/standard-library/default.nix @@ -2,13 +2,13 @@ mkDerivation rec { pname = "standard-library"; - version = "1.6"; + version = "1.7"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "1smvnid7r1mc4lp34pfrbzgzrcl0gmw0dlkga8z0r3g2zhj98lz1"; + sha256 = "14h3jprm6924g9576v25axn9v6xnip354hvpzlcqsc5qqyj7zzjs"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; @@ -16,7 +16,7 @@ mkDerivation rec { runhaskell GenerateEverything.hs # We will only build/consider Everything.agda, in particular we don't want Everything*.agda # do be copied to the store. - rm EverythingSafe.agda EverythingSafeGuardedness.agda EverythingSafeSizedTypes.agda + rm EverythingSafe.agda ''; passthru.tests = { inherit (nixosTests) agda; }; diff --git a/pkgs/development/libraries/argp-standalone/default.nix b/pkgs/development/libraries/argp-standalone/default.nix index a1e1babbe5e..1a09ed84a1c 100644 --- a/pkgs/development/libraries/argp-standalone/default.nix +++ b/pkgs/development/libraries/argp-standalone/default.nix @@ -34,7 +34,11 @@ stdenv.mkDerivation rec { patchFlags = lib.optional stdenv.hostPlatform.isDarwin "-p0"; - preConfigure = lib.optionalString stdenv.hostPlatform.isLinux "export CFLAGS='-fgnu89-inline'"; + # For currently unknown reason, `-fPIC` has to be passed explicitly, otherwise + # downstream software like `elfutils` will get `recompile errors like: + # libargp.a(argp-help.o): relocation R_X86_64_PC32 against symbol `program_invocation_short_name' can not be used when making a shared object; recompile with -fPIC + # It seems that nixpkgs's on-by-default `-fPIC` is not in effect here. + preConfigure = lib.optionalString stdenv.hostPlatform.isLinux "export CFLAGS='-fgnu89-inline -fPIC'"; postInstall = '' mkdir -p $out/lib $out/include diff --git a/pkgs/development/libraries/eventlog/default.nix b/pkgs/development/libraries/eventlog/default.nix index c26b1d1a923..ba4155db1e3 100644 --- a/pkgs/development/libraries/eventlog/default.nix +++ b/pkgs/development/libraries/eventlog/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, fetchFromGitHub }: +{ lib, stdenv, fetchFromGitHub, autoreconfHook }: stdenv.mkDerivation rec { pname = "eventlog"; @@ -11,6 +11,8 @@ stdenv.mkDerivation rec { sha256 = "0a2za3hs7wzy14z7mfgldy1r9xdlqv97yli9wlm8xldr0amsx869"; }; + nativeBuildInputs = [ autoreconfHook ]; + meta = { description = "Syslog event logger library"; longDescription = '' |