https://bugs.gentoo.org/917493 https://sources.debian.org/src/webrtc-audio-processing/1.0-0.2/debian/patches/Add-generic-byte-order-and-pointer-size-detection.patch/ Description: Add generic byte order and pointer size detection Author: Than Origin: https://bugs.freedesktop.org/show_bug.cgi?id=95738#c4 Last-Update: 2022-02-01 --- This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ --- a/webrtc/rtc_base/system/arch.h +++ b/webrtc/rtc_base/system/arch.h @@ -58,7 +58,19 @@ #define WEBRTC_ARCH_32_BITS #define WEBRTC_ARCH_LITTLE_ENDIAN #else -#error Please add support for your architecture in rtc_base/system/arch.h +/* instead of failing, use typical unix defines... */ +#if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__ +#define WEBRTC_ARCH_LITTLE_ENDIAN +#elif __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__ +#define WEBRTC_ARCH_BIG_ENDIAN +#else +#error __BYTE_ORDER__ is not defined +#endif +#if defined(__LP64__) +#define WEBRTC_ARCH_64_BITS +#else +#define WEBRTC_ARCH_32_BITS +#endif #endif #if !(defined(WEBRTC_ARCH_LITTLE_ENDIAN) ^ defined(WEBRTC_ARCH_BIG_ENDIAN)) logtreecommitdiff
path: root/gnu/packages/coq.scm
AgeCommit message (Expand)Author
2024-06-26gnu: proof-general: Update to 4.5@cb23709a....* gnu/packages/coq.scm (proof-general): Update to 4.5@cb23709a. Change-Id: Ieb33d8a0effa4c010d1f2488e166cd0647240180 Signed-off-by: Christopher Baines <mail@cbaines.net> Arnaud Daby-Seesaram
2024-06-23gnu: coq-autosubst: Fix Coq 8.19 compatibility....* gnu/packages/patches/coq-autosubst-1.8-remove-deprecated-files.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register patch. * gnu/packages/coq.scm (coq-autosubst)<source>: Use Coq 8.19 compatibility patch. Change-Id: Ib705c92b5605c6b679224f471ff12c018842c006 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ
2024-06-16gnu: coq-stdpp: Update to 1.10.0....* gnu/packages/coq.scm (coq-stdpp): Update to 1.10.0. Change-Id: Icea37b785c03196baa88a92ced3ac9dc25079546 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ
2024-06-16gnu: coq-mathcomp: Update to 1.19.0....* gnu/packages/coq.scm (coq-mathcomp): Update to 1.19.0. Change-Id: Icf72f91c09aa0504d7175d437a1cf75020751335 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ
2024-06-16gnu: coq-interval: Update to 4.10.0....* gnu/packages/coq.scm (coq-interval): Update to 4.10.0. Change-Id: If5be16804fefdca04b52a91cf3f52484c486fea8 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ
2024-06-16gnu: coq-gappa: Update to 1.5.5....* gnu/packages/coq.scm (coq-gappa): Update to 1.5.5. Change-Id: Iaf0077a8081d7ba30aeb1bded3bc36570df88283 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ
2024-06-16gnu: coq-coquelicot: Update to 3.4.1....* gnu/packages/coq.scm (coq-coquelicot): Update to 3.4.1. Change-Id: I9330c7d98b881c051f4f03dfdf7f1be9e3f26aa6 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ
2024-05-15gnu: coq-flocq: Update to 4.1.4....* gnu/packages/coq.scm (coq-flocq): Update to 4.1.4. Change-Id: Ia2bf4bccad712a7bfa5427ef26ad93d39f1fc6e0 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ