Merge pull request #273 from GaloisInc/272-update-llvm-pretty-submodu…

…le-location Fix #272, update submodule to new location.
GaloisInc · Jun 10, 2024 · 1cfe6e8 · 1cfe6e8
2 parents 61306f7 + b4d298c
commit 1cfe6e8
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "llvm-pretty"]
 	path = llvm-pretty
-	url = https://github.com/elliottt/llvm-pretty
+	url = https://github.com/GaloisInc/llvm-pretty.git
diff --git a/disasm-test/llvm-tests/README.md b/disasm-test/llvm-tests/README.md
@@ -20,7 +20,7 @@ of `llvm-as`.
      Revision checked out of tree: [de74840](https://github.com/llvm-mirror/llvm/blob/de7484036b628b08be6acbfb5feac405d7450300)
    + Corresponding LLVM release: 3.9
    + Purpose: References to `DICompositeType`s changed in 3.9. See
-     [llvm-pretty#39](https://github.com/elliottt/llvm-pretty/issues/39).
+     [llvm-pretty#39](https://github.com/GaloisInc/llvm-pretty/issues/39).
 
  - File: `cfi-eof-prologue.old.ll`
    + Path in LLVM source tree: `test/DebugInfo/AArch64/cfi-eof-prologue.ll`

diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -17,7 +17,7 @@
       inputs.nixpkgs.follows = "nixpkgs";
     };
     llvm-pretty-src = {
-      url = "github:elliottt/llvm-pretty";
+      url = "github:GaloisInc/llvm-pretty";
       flake = false;
     };
     fgl-src = {

diff --git a/llvm-pretty b/llvm-pretty
+1 −1		README.md
+2 −2		llvm-pretty.cabal
+10 −2		src/Text/LLVM/PP.hs
+41 −0		test/Output.hs