Revert "ppc-symbolic: Separate Dump CLIs for 32- and 64-bit"

This reverts commit 002e2e3. PPC64 requires a `LoadedBinary`, which is actually a bit of a pain to get ahold of in `Dump64.hs`. We should fix this, but perhaps later...
GaloisInc · Nov 12, 2024 · ba19e98 · ba19e98
1 parent 8dc67ff
commit ba19e98
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 39 deletions.
diff --git a/macaw-ppc-symbolic/macaw-ppc-symbolic.cabal b/macaw-ppc-symbolic/macaw-ppc-symbolic.cabal
@@ -43,23 +43,9 @@ library
   default-language:    Haskell2010
   ghc-options:         -Wall -Wcompat
 
-executable macaw-ppc32-dump
+executable macaw-ppc-dump
   hs-source-dirs: tools
-  main-is: Dump32.hs
-  default-language: Haskell2010
-  ghc-options: -Wall -Wcompat
-  build-depends:
-    base,
-    elf-edit,
-    macaw-base,
-    macaw-dump,
-    macaw-ppc,
-    macaw-ppc-symbolic,
-    macaw-symbolic
-
-executable macaw-ppc64-dump
-  hs-source-dirs: tools
-  main-is: Dump64.hs
+  main-is: Dump.hs
   default-language: Haskell2010
   ghc-options: -Wall -Wcompat
   build-depends:

diff --git a/macaw-ppc-symbolic/tools/Dump32.hs → macaw-ppc-symbolic/tools/Dump.hs b/macaw-ppc-symbolic/tools/Dump32.hs → macaw-ppc-symbolic/tools/Dump.hs
diff --git a/macaw-ppc-symbolic/tools/Dump64.hs b/macaw-ppc-symbolic/tools/Dump64.hs