From a88d88020693b35b272800fe0ded4293a22720e2 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Sat, 30 May 2020 12:25:03 +0100
Subject: [PATCH] modified: CMakeLists.txt modified:
sylvan_ldd.c
---
CMakeLists.txt | 7 -------
sylvan_ldd.c | 4 ++--
2 files changed, 2 insertions(+), 9 deletions(-)
diff --git a/CMakeLists.txt b/CMakeLists.txt
index a3b0162..1b8f7bb 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -46,16 +46,9 @@ add_library(sylvan
tls.h
)
-set_target_properties(sylvan PROPERTIES
- CXX_STANDARD 14
- CXX_STANDARD_REQUIRED YES
- CXX_EXTENSIONS NO
-)
-
target_link_libraries(sylvan -lpthread)
target_link_libraries(sylvan -lgmp)
if(UNIX AND NOT APPLE)
target_link_libraries(sylvan rt)
endif()
-
diff --git a/sylvan_ldd.c b/sylvan_ldd.c
index ffbe08a..7e82953 100755
--- a/sylvan_ldd.c
+++ b/sylvan_ldd.c
@@ -3078,13 +3078,13 @@ void llmsset_destroy_unmarked_seq( llmsset_t dbs)
void sylvan_gc_seq()
{
if (g_created>llmsset_get_size(nodes)/2)
- {
- g_created=seq_llmsset_count_marked(nodes);
+ {
cache_clear();
llmsset_clear_data_seq(nodes);
ldd_gc_mark_protected();
llmsset_destroy_unmarked_seq(nodes);
sylvan_rehash_all_seq();
+ g_created=seq_llmsset_count_marked(nodes);
}
}
--
GitLab