diff --git a/.github/workflows/update-deps.yml b/.github/workflows/update-deps.yml index 9a66903a64b..4cd7ccdd36d 100644 --- a/.github/workflows/update-deps.yml +++ b/.github/workflows/update-deps.yml @@ -59,7 +59,7 @@ jobs: cd llvm-backend/src/main/native/llvm-backend git checkout "${llvm_backend_version}" cd - - sed -i 's! url = "github:runtimeverification/llvm-backend/.*";! url = "github:runtimeverification/llvm-backend/'"${llvm_backend_version}"'";!' flake.nix + sed -i 's! llvm-backend.url = "github:runtimeverification/llvm-backend/.*";! llvm-backend.url = "github:runtimeverification/llvm-backend/'"${llvm_backend_version}"'";!' flake.nix if git add flake.nix llvm-backend/src/main/native/llvm-backend && git commit -m "flake.nix, llvm-backend/src/main/native/llvm-backend: update to version ${llvm_backend_version}"; then changed=true fi diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 920c3bd5154..09d8256ac3a 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.57 +0.1.59 diff --git a/flake.lock b/flake.lock index 46723f73c95..a72739ebae6 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1720605767, - "narHash": "sha256-f2+y13P306W0Ws7gfjVkG4jytHqfSY0qAd4KeF/qZno=", + "lastModified": 1721409969, + "narHash": "sha256-D9F6JhSsDOwGx6/ysi4O7d+A3aGNliEXOKgXvViRD00=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "bd12ae4ace1f288b3b6236cc42f7004fe38e9965", + "rev": "ed79b7ead98fff940ef683e61653d4d30a47b663", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.56", + "ref": "v0.1.59", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 27f5802fdee..c66b6315b05 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.56"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.59"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.32"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 66f927392e5..ed79b7ead98 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 66f927392e52843589a7a548802a9e2305a6a152 +Subproject commit ed79b7ead98fff940ef683e61653d4d30a47b663