fix build options for ocaml (#948)

* fix build options for ocaml * bump submod temporarily * bump * bump * bump * bump * bump * bump * bump * bump anvill
lifting-bits · Jun 2, 2022 · 618455d · 618455d
1 parent f1c65d3
commit 618455d
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/anvill b/anvill
diff --git a/ports/llvm-13/portfile.cmake b/ports/llvm-13/portfile.cmake
@@ -315,6 +315,8 @@ vcpkg_cmake_configure(
         -DLLVM_BUILD_EXAMPLES=OFF
         -DLLVM_INCLUDE_TESTS=OFF
         -DLLVM_BUILD_TESTS=OFF
+        -DLLVM_BUILD_DOCS=OFF
+        -DLLVM_INCLUDE_DOCS=OFF
         # Disable linking to Windows PDB analysis library (hard-coded path in LLVMExports.cmake)
         -DLLVM_ENABLE_DIA_SDK=OFF
         # Force TableGen to be built with optimization. This will significantly improve build time.

diff --git a/remill b/remill
+6 −6		.github/workflows/build.yml
+36 −9		bin/Decompile/Main.cpp
+0 −0		bin/Decompile/tests/broken_cases/binja_var_none_type.c
+0 −0		bin/Decompile/tests/broken_cases/cast.c
+3 −2		bin/Decompile/tests/scripts/roundtrip.py
+8 −20		bin/Specify/Main.cpp
+7 −1		ci/switcher.py
+4 −3		lib/Arch/Arch.cpp
+3 −4		lib/Passes/ConvertIntegerToPointerOperations.cpp
+1 −0		lib/Passes/LowerRemillMemoryAccessIntrinsics.cpp
+1 −1		lib/Passes/SplitStackFrameAtReturnAddress.cpp
+13 −2		python/anvill/__main__.py
+3 −1		python/anvill/binja/bnfunction.py
+16 −7		python/anvill/program.py
+0 −5		include/remill/BC/Compat/CallSite.h
+17 −2		lib/Arch/X86/Semantics/AVX.cpp
+2 −2		lib/Arch/X86/Semantics/CONVERT.cpp
+10 −8		lib/Arch/X86/Semantics/DATAXFER.cpp
+32 −4		lib/Arch/X86/Semantics/MMX.cpp
+8 −1		lib/BC/InstructionLifter.cpp