Skip to content

Commit

Permalink
OpenMP dependencies removed
Browse files Browse the repository at this point in the history
  • Loading branch information
viktorteren committed Apr 19, 2024
1 parent 0b009fa commit df4c85e
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 9 deletions.
5 changes: 0 additions & 5 deletions CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,6 @@ project (Seto LANGUAGES CXX C)

include(GNUInstallDirs)

find_package(OpenMP)

add_library(libminisat STATIC
# Impl files
libs/minisat/core/Solver.cc
Expand Down Expand Up @@ -42,9 +40,6 @@ target_link_libraries(${PROJECT_NAME} libminisat)
target_link_libraries(${PROJECT_NAME} pblib)
target_link_libraries(${PROJECT_NAME} python3.10) #needed for networkx usage
target_link_libraries(${PROJECT_NAME} cudd)
if( OpenMP_FOUND )
target_link_libraries(${PROJECT_NAME} OpenMP::OpenMP_CXX)
endif()
target_include_directories(${PROJECT_NAME} PRIVATE ${CUDD_INCLUDE_DIR})
add_dependencies(${PROJECT_NAME} cudd)

Expand Down
4 changes: 0 additions & 4 deletions src/Regions_generator.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -348,10 +348,6 @@ void Region_generator::expand(Region *region, int event, bool is_ER, int init_po
}
// cout<<"id position reg: " << region_id_position<<endl;

//TODO: check if pragma works with if condition
#if defined(OPENMP)
#pragma omp parallel for reduction(-:event_types[:number_of_events])
#endif
for (int i = 0; i < number_of_events; i++) {
event_types[i] = -1;
}
Expand Down

0 comments on commit df4c85e

Please sign in to comment.