Merge pull request #2366 from quentin/maindriver

Expose main driver interface.
souffle-lang · Dec 6, 2022 · be6ee42 · be6ee42
2 parents 5e232fd + 6445167
commit be6ee42
Show file tree

Hide file tree

Showing 4 changed files with 407 additions and 248 deletions.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -8,6 +8,7 @@
 set(SOUFFLE_SOURCES
     FunctorOps.cpp
     Global.cpp
+    MainDriver.cpp
     ast/Aggregator.cpp
     ast/IntrinsicAggregator.cpp
     ast/UserDefinedAggregator.cpp
@@ -220,7 +221,10 @@ target_compile_features(libsouffle PUBLIC cxx_std_17)
 target_compile_features(compiled PUBLIC cxx_std_17)
 
 set_target_properties(libsouffle PROPERTIES CXX_EXTENSIONS OFF)
+set_target_properties(libsouffle PROPERTIES POSITION_INDEPENDENT_CODE ON)
+
 set_target_properties(compiled PROPERTIES CXX_EXTENSIONS OFF)
+set_target_properties(compiled PROPERTIES POSITION_INDEPENDENT_CODE ON)
 
 if (NOT MSVC)
   target_compile_options(libsouffle PUBLIC -Wall -Wextra -Werror -fwrapv)
@@ -315,7 +319,7 @@ set_target_properties(libsouffle PROPERTIES OUTPUT_NAME "souffle")
 # Souffle binary
 # --------------------------------------------------
 add_executable(souffle
-               main.cpp)
+               souffle.cpp)
 target_link_libraries(souffle libsouffle)
 install(TARGETS souffle DESTINATION bin)