diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-12-28 17:04:31 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-31 10:44:25 +0200 |
| commit | 828daf0ab04a12695ff14ad6bad4b23533702215 (patch) | |
| tree | cda63f2eba54eac556871639d91e989ffe866d16 /gnu/packages/patches | |
| parent | e87060ff6de07e6d8cda3f3b2e5fe0981789f9b9 (diff) | |
gnu: zig: Remove unneeded librt patch.
* gnu/packages/patches/zig-do-not-link-against-librt.patch: Delete patch.
* gnu/local.mk (dist_patch_DATA): Unregister.
* gnu/packages/zig.scm (zig-0.9, zig-0.10): Remove patch.
Change-Id: Ifc6c811671827aeb8ae4c191020ef724847abebe
Diffstat (limited to 'gnu/packages/patches')
| -rw-r--r-- | gnu/packages/patches/zig-do-not-link-against-librt.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/gnu/packages/patches/zig-do-not-link-against-librt.patch b/gnu/packages/patches/zig-do-not-link-against-librt.patch deleted file mode 100644 index 3239efbdd4..0000000000 --- a/gnu/packages/patches/zig-do-not-link-against-librt.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- a/src/target.zig 2023-04-22 11:44:47.917416658 +0200 -+++ b/src/target.zig 2023-04-22 11:45:04.577465352 +0200 -@@ -478,7 +478,6 @@ - "-lpthread", - "-lc", - "-ldl", -- "-lrt", - "-lutil", - }, - }, |