Skip to content

Commit 15c723a

Browse files
committedNov 20, 2023
Use our own language-rust fork in submodule
Unfortunately, the upstream `language-rust` repo at https://github.com/harpocrates/language-rust no longer appears to be actively maintained, and without a fix for harpocrates/language-rust#44, it is impossible to build `language-rust` with GHC 9.6. This patch changes our `language-rust` submodule to instead use our fork of `language-rust` (at https://github.com/GaloisInc/language-rust). It is unclear if we will have to keep doing this in the long term, but this at least unblocks us in the short term.
1 parent 5b43e94 commit 15c723a

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed
 

‎.gitmodules

+1-1
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@
4242
url = https://github.com/galoisinc/argo
4343
[submodule "deps/language-rust"]
4444
path = deps/language-rust
45-
url = https://github.com/harpocrates/language-rust.git
45+
url = https://github.com/GaloisInc/language-rust.git
4646
[submodule "deps/language-sally"]
4747
path = deps/language-sally
4848
url = https://github.com/GaloisInc/language-sally

0 commit comments

Comments
 (0)