Add REMILL_FETCH_SLEIGH option to allow find_package(sleigh)

Author: mrexodia

CMakeLists.txt

@@ -88,29 +88,35 @@ find_package(glog CONFIG REQUIRED)
 set(GFLAGS_USE_TARGET_NAMESPACE ON)
 find_package(gflags CONFIG REQUIRED)
 
+option(REMILL_FETCH_SLEIGH "Fetch and build sleigh as part of remill" ON)
+
 # Sleigh
-file(GLOB sleigh_patches "${CMAKE_CURRENT_SOURCE_DIR}/patches/sleigh/*.patch")
-set(sleigh_ADDITIONAL_PATCHES "${sleigh_patches}" CACHE STRING "" FORCE)
-set(sleigh_ENABLE_TESTS OFF CACHE BOOL "" FORCE)
-set(sleigh_RELEASE_TYPE "HEAD" CACHE STRING "" FORCE)
-set(sleigh_BUILD_SUPPORT ON CACHE BOOL "" FORCE)
-set(sleigh_BUILD_SLEIGHSPECS ON CACHE BOOL "" FORCE)
-
-# Verbose fetch content updates
-set(FETCHCONTENT_QUIET OFF)
-
-# This version of sleigh (HEAD) pins Ghidra somewhere between Ghidra v10.2.3 and v10.3
-# https://github.com/lifting-bits/sleigh/blob/7c6b742/src/setup-ghidra-source.cmake#L55-L66
-FetchContent_Declare(sleigh
-  GIT_REPOSITORY https://github.com/lifting-bits/sleigh.git
-  GIT_TAG 7c6b742
-)
-FetchContent_MakeAvailable(sleigh)
+if(REMILL_FETCH_SLEIGH)
+  file(GLOB sleigh_patches "${CMAKE_CURRENT_SOURCE_DIR}/patches/sleigh/*.patch")
+  set(sleigh_ADDITIONAL_PATCHES "${sleigh_patches}" CACHE STRING "" FORCE)
+  set(sleigh_ENABLE_TESTS OFF CACHE BOOL "" FORCE)
+  set(sleigh_RELEASE_TYPE "HEAD" CACHE STRING "" FORCE)
+  set(sleigh_BUILD_SUPPORT ON CACHE BOOL "" FORCE)
+  set(sleigh_BUILD_SLEIGHSPECS ON CACHE BOOL "" FORCE)
+
+  # Verbose fetch content updates
+  set(FETCHCONTENT_QUIET OFF)
+
+  # This version of sleigh (HEAD) pins Ghidra somewhere between Ghidra v10.2.3 and v10.3
+  # https://github.com/lifting-bits/sleigh/blob/7c6b742/src/setup-ghidra-source.cmake#L55-L66
+  FetchContent_Declare(sleigh
+    GIT_REPOSITORY https://github.com/lifting-bits/sleigh.git
+    GIT_TAG 7c6b742
+  )
+  FetchContent_MakeAvailable(sleigh)
 
-# Get the Ghidra source directory from FetchContent's internal tracking
-FetchContent_GetProperties(GhidraSource)
-if(NOT ghidrasource_POPULATED)
-  message(FATAL_ERROR "Expected sleigh to populate GhidraSource")
+  # Get the Ghidra source directory from FetchContent's internal tracking
+  FetchContent_GetProperties(GhidraSource)
+  if(NOT ghidrasource_POPULATED)
+    message(FATAL_ERROR "Expected sleigh to populate GhidraSource")
+  endif()
+else()
+  find_package(sleigh CONFIG REQUIRED COMPONENTS Support Specs)
 endif()
 
 # For Linux builds, group LLVM libraries into a single group
@@ -219,22 +225,32 @@ target_compile_definitions(remill_settings INTERFACE
   "REMILL_BUILD_SEMANTICS_DIR_PPC64_32ADDR=\"${REMILL_BUILD_SEMANTICS_DIR_PPC64_32ADDR}\""
 )
 
-if(SLEIGH_EXECUTABLE)
-  set(sleigh_compiler "${SLEIGH_EXECUTABLE}")
-else()
-  set(sleigh_compiler "$<TARGET_FILE:sleigh::sleigh>")
-endif()
+if(REMILL_FETCH_SLEIGH)
+  if(SLEIGH_EXECUTABLE)
+    set(sleigh_compiler "${SLEIGH_EXECUTABLE}")
+  else()
+    set(sleigh_compiler "$<TARGET_FILE:sleigh::sleigh>")
+  endif()
 
-sleigh_compile(
-  TARGET ppc_e200_spec
-  COMPILER "${sleigh_compiler}"
-  SLASPEC "${ghidrasource_SOURCE_DIR}/Ghidra/Processors/PowerPC/data/languages/ppc_32_e200_be.slaspec"
-  LOG_FILE "${sleigh_BINARY_DIR}/sleighspecs/spec_build_logs/ppc_32_e200_be.sla.log"
-  OUT_FILE "${sleigh_BINARY_DIR}/specfiles/Ghidra/Processors/PowerPC/data/languages/ppc_32_e200_be.sla"
-)
+  set(REMILL_PPC_E200_SLA_SOURCE "${sleigh_BINARY_DIR}/specfiles/Ghidra/Processors/PowerPC/data/languages/ppc_32_e200_be.sla")
+
+  sleigh_compile(
+    TARGET ppc_e200_spec
+    COMPILER "${sleigh_compiler}"
+    SLASPEC "${ghidrasource_SOURCE_DIR}/Ghidra/Processors/PowerPC/data/languages/ppc_32_e200_be.slaspec"
+    LOG_FILE "${sleigh_BINARY_DIR}/sleighspecs/spec_build_logs/ppc_32_e200_be.sla.log"
+    OUT_FILE "${REMILL_PPC_E200_SLA_SOURCE}"
+  )
 
-add_custom_target(sleigh_custom_specs)
-add_dependencies(sleigh_custom_specs ppc_e200_spec)
+  add_custom_target(sleigh_custom_specs)
+  add_dependencies(sleigh_custom_specs ppc_e200_spec)
+else()
+  set(REMILL_PPC_E200_SLA_SOURCE "${sleigh_INSTALL_SPECDIR}/Ghidra/Processors/PowerPC/data/languages/ppc_32_e200_be.sla")
+  if(NOT EXISTS "${REMILL_PPC_E200_SLA_SOURCE}")
+    message(FATAL_ERROR "Installed sleigh spec not found: ${REMILL_PPC_E200_SLA_SOURCE}")
+  endif()
+  add_custom_target(sleigh_custom_specs)
+endif()
 
 target_link_libraries(remill_settings INTERFACE
   ${llvm_libs}
@@ -295,7 +311,7 @@ if(REMILL_ENABLE_INSTALL_TARGET)
     EXPORT remillTargets
   )
 
-  install(FILES "${sleigh_BINARY_DIR}/specfiles/Ghidra/Processors/PowerPC/data/languages/ppc_32_e200_be.sla" DESTINATION "${CMAKE_INSTALL_DATADIR}/sleigh/specfiles/Ghidra/Processors/PowerPC/data/languages/")
+  install(FILES "${REMILL_PPC_E200_SLA_SOURCE}" DESTINATION "${CMAKE_INSTALL_DATADIR}/sleigh/specfiles/Ghidra/Processors/PowerPC/data/languages/")
 
   configure_file(
     "${CMAKE_CURRENT_SOURCE_DIR}/cmake/remillConfig.cmake.in"