Merge pull request #386 from fplll/install-threadpool

install threadpool headers
fplll · Nov 1, 2019 · b53c0b9 · b53c0b9
2 parents dca813a + e0e1c9b
commit b53c0b9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/fplll/Makefile.am b/fplll/Makefile.am
@@ -37,7 +37,8 @@ nobase_include_fplll_HEADERS=defs.h fplll.h \
 	enum/enumerate.h enum/enumerate_base.h enum/enumerate_ext.h \
 	sieve/sieve_gauss.h sieve/sieve_common.h sieve/sieve_gauss_str.h sieve/sampler_basic.h \
 	pruner/pruner.h pruner/pruner_simplex.h \
-	householder.h hlll.h
+	householder.h hlll.h \
+	threadpool.h io/thread_pool.hpp
 
 bin_PROGRAMS=fplll latticegen latsieve
 check_PROGRAMS=llldiff
@@ -119,7 +120,7 @@ libfplll_la_SOURCES+=\
 	enum-parallel/enumlib_dim.40.cpp enum-parallel/enumlib_dim.30.cpp enum-parallel/enumlib_dim.20.cpp
 EXTRA_libfplll_la_SOURCES+=enum-parallel/enumlib_dim.cpp
 endif
-	
+
 
 # libfplll variants
 libfplllv_la_SOURCES=$(libfplll_la_SOURCES)