minor fixes (#6)

* minor fixes

* scope

Author: lemire

.github/workflows/ubuntu.yml

@@ -1,12 +1,6 @@
 name: Ubuntu 22.04 Sanitized CI (GCC 11)
 
-on:
-  push:
-    branches:
-      - master
-  pull_request:
-    branches:
-      - master
+on: [push, pull_request]
 
 jobs:
   ubuntu-build:

benchmarks/CMakeLists.txt

@@ -34,6 +34,9 @@ target_link_libraries(benchmark PUBLIC grisu2)
 target_link_libraries(benchmark PUBLIC double-conversion)
 target_link_libraries(benchmark PUBLIC ryu::ryu)
 target_link_libraries(benchmark PUBLIC teju)
+if(teju_has_float128)
+    target_link_libraries(benchmark PUBLIC teju_boost_multiprecision)
+endif()
 target_link_libraries(benchmark PUBLIC dragonbox::dragonbox_to_chars)
 
 target_include_directories(benchmark PUBLIC ${grisu-exact_SOURCE_DIR})

benchmarks/random_generators.h

@@ -9,6 +9,7 @@
 struct float_number_generator {
   virtual double new_float() = 0;
   virtual std::string describe() = 0;
+  virtual ~float_number_generator() = default;
 };
 
 struct uniform_generator : float_number_generator {

dependencies/CMakeLists.txt

@@ -40,7 +40,14 @@ FetchContent_Declare(
         GIT_SHALLOW TRUE
 )
 FetchContent_MakeAvailable(teju_jagua)
-
+get_property(teju_has_uint128 DIRECTORY ${teju_jagua_SOURCE_DIR} PROPERTY teju_has_uint128)
+# When teju_has_float128 is set, then we will need teju_boost_multiprecision
+get_property(teju_has_float128 DIRECTORY ${teju_jagua_SOURCE_DIR} PROPERTY teju_has_float128)
+if(teju_has_float128)
+        message(STATUS "support for 128-bit floats detected by teju")
+else()
+        message(STATUS "support for 128-bit floats NOT detected by teju")
+endif()
 #CPMAddPackage("gh:ulfjack/[email protected]")
 FetchContent_Declare(
         ryu