From 0c3ef31e242d9b83aa29fd64b98601d5fa1ee716 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Thu, 13 Apr 2023 20:45:52 +0200 Subject: [PATCH] ubuntu issue, try a different approach --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index 0bd13aa3..02560149 100755 --- a/debian/rules +++ b/debian/rules @@ -540,7 +540,7 @@ preconfigure: # Yeah, this is ugly but I don't know how to do better if test "$(DISTRO)" = "jammy" -o "$(DISTRO)" = "kinetic"; then \ if test "$(LLVM_VERSION)" = "15"; then \ - sed -i -e "s|(<< 1:15.0.6-5)|(<< 1:15.0.7-1)|g" debian/control; \ + sed -i -e "s|libclang-common-15-dev (<< 1:15.0.6-5)|libclang-common-15-dev (<< 1:15.0.6-5), libclang-common-15-dev (= 1:15.0.7-0ubuntu0.22.04.1)|g" debian/control; \ fi; \ fi