diff options
| author | Manuel Wiesinger | 2024-05-30 02:51:17 +0200 |
|---|---|---|
| committer | Manuel Wiesinger | 2024-05-30 02:53:50 +0200 |
| commit | a2fb9e774fa416a79e9425a51cc540a9660f1918 (patch) | |
| tree | b1d51922597763ff9b9ee69ff77449520bf5ca03 /0003-Do-not-require-git.patch | |
| parent | 25190e6538df3dadc35d2030c6f8458ed9ae51d4 (diff) | |
| download | aur-bitwuzla.tar.gz | |
0.4.0 -> 0.5.0
Remove no longer needed patches
- 0003-Do-not-require-git.patch
- upstream-gcc14.patch
Diffstat (limited to '0003-Do-not-require-git.patch')
| -rw-r--r-- | 0003-Do-not-require-git.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/0003-Do-not-require-git.patch b/0003-Do-not-require-git.patch deleted file mode 100644 index a90334cc4af0..000000000000 --- a/0003-Do-not-require-git.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff --unified --recursive --text bitwuzla-0.4.0.orig/src/meson.build bitwuzla-0.4.0/src/meson.build ---- bitwuzla-0.4.0.orig/src/meson.build 2024-03-30 15:53:33.155005989 +0100 -+++ bitwuzla-0.4.0/src/meson.build 2024-03-30 16:18:42.411278668 +0100 -@@ -49,7 +49,7 @@ - # --- - - # Get git information --git = find_program('git') -+git = find_program('git', required : false) - git_id = '' - if git.found() - repo = meson.project_source_root() |