extensions cleanup

2024-08-20 22:40:14 -04:00
parent 7b33313281
commit d85530b14b
11 changed files with 70 additions and 250 deletions
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -80,10 +80,6 @@ if (YAZE_BUILD_Z3ED)
  include(cli/z3ed.cmake) 
 endif()

-if (YAZE_BUILD_EXTENSIONS)
-  include(ext/ext.cmake)
-endif()
-
 if (YAZE_BUILD_PYTHON)
  include(py/yaze_py.cmake)
 endif()