fix: update dune and fix deps

we need to specify dependencies on all source files that are used by

Signed-off-by: Rudi Grinberg <[email protected]>

dune-project

@@ -1 +1 @@
-(lang dune 1.10)
+(lang dune 2.0)

src/dune

@@ -11,8 +11,11 @@
   (public_name num.core)
   (wrapped false)
   (modules arith_flags arith_status big_int int_misc nat num ratio)
-  (c_names nat_stubs bng bng_generic)
-  (c_flags "-DBNG_ARCH_%{architecture}")
+  (foreign_stubs
+   (language c)
+   (names nat_stubs bng bng_generic)
+   (extra_deps (glob_files *.c))
+   (flags "-DBNG_ARCH_%{architecture}"))
   (flags -w +a-4-9-41-42-44-45-48 -warn-error +A -bin-annot -g -safe-string -strict-sequence -strict-formats))
 
 (rule

test/dune

@@ -1,5 +1,5 @@
-(alias
-  (name runtest)
+(rule
+  (alias runtest)
   (action (progn (run %{dep:driver.bc}) (run %{dep:driver.exe}))))
 
 (library
@@ -11,6 +11,7 @@
   (name driver)
   (modules driver)
   (flags -linkall)
+  (modes (byte exe))
   (libraries test_lib))
 
 (rule (with-stdout-to driver.ml (echo "")))