From 11367c6ff7b6aa47b43b10cb00313210985d0db8 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Fri, 5 Apr 2019 15:53:15 +0200
Subject: [PATCH] Handle at_exit with Ctrl-C

---
 Utils/Util.ml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/Utils/Util.ml b/Utils/Util.ml
index c1e37b0..591c70d 100644
--- a/Utils/Util.ml
+++ b/Utils/Util.ml
@@ -5,7 +5,7 @@
 open Constants
 open Lacaml.D
 
-let factmax = 150
+
 
 external erf_float : float -> float = "erf_float_bytecode" "erf_float"
   [@@unboxed] [@@noalloc]
@@ -35,7 +35,16 @@ external leadz : int64 -> int32 = "leadz_bytecode" "leadz"
 let leadz i = leadz i |> Int32.to_int 
 
 
+exception Ctrl_C
 
+let () = 
+  let f _ = raise Ctrl_C in
+  Sys.set_signal Sys.sigint (Sys.Signal_handle f) 
+  ;;
+
+
+
+let factmax = 150
 
 (* Incomplete gamma function : Int_0^x   exp(-t) t^(a-1) dt  
   p:  1 / Gamma(a) * Int_0^x   exp(-t) t^(a-1) dt