Copied from Debian. Description: Fix build of WebRTC on non-Linux systems * Define the WEBRTC_LINUX macro only on Linux, and not on GNU/Hurd or FreeBSD. * Fix type cast in the CurrentThreadId function. Bug-Debian: https://bugs.debian.org/920851 Author: Nicholas Guriev Last-Update: Tue, 29 Jan 2019 23:26:44 +0300 --- a/libtgvoip.gyp +++ b/libtgvoip.gyp @@ -869,20 +869,18 @@ '"<(OS)" == "linux"', { 'defines': [ 'WEBRTC_POSIX', - 'WEBRTC_LINUX', ], 'conditions': [ [ '"(pthread_self()); + return static_cast(pthread_self()); #endif #endif // defined(WEBRTC_POSIX) } /patches/tla2tools-build-xml.patch?id=820bf78cbc487d28457acc6cb790f4cbd7cc49b9'>commitdiff
AgeCommit message (Expand)Author
2021-05-05gnu: Add tla2tools....This introduces tla2tools.jar, which contains the TLA+ model checker and simulator (TLC); a TLA+ REPL; a semantic analyzer (SANY); the TLATeX typesetting system; PlusCal translator; and more. I have added five wrapper scripts for convenience, rather than invoking `java' manually. The wrapper scripts are not comprehensive; users who are familiar with tla2tools.jar, or have read the book Specifying Systems, may still invoke the commands in the traditional way. The minimum JDK version is 11. I chose to stick with that rather than bumping it to 14 (which is the largest version currently in Guix) because each OpenJDK version in Guix depends on the version before it, and so it needlessly results in many 100s of MiB of unnecessary dependencies. Note that this is _not_ the TLA+ Toolbox, which is the GUI commonly used with TLA+. * gnu/packages/java.scm (tla2tools): New variable. * gnu/packages/patches/tla2tools-build-xml.patch: New patch. * gnu/local.mk (dist_patch_DATA): Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Mike Gerwitz