summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlexandre Jesus <adbjesus@gmail.com>2025-12-01 14:06:26 +0000
committerAlexandre Jesus <adbjesus@gmail.com>2025-12-01 14:06:26 +0000
commit7a3141b79caf7023ae02ec04dae85a8946d370a9 (patch)
tree2d741a13160e387b17a14ae6c989b0189f5489cb
parent04381ba237f9bc3c0a28d7c8fa5f6f748a9997e9 (diff)
downloadaoc2025-7a3141b79caf7023ae02ec04dae85a8946d370a9.tar.gz
aoc2025-7a3141b79caf7023ae02ec04dae85a8946d370a9.zip
Add time measurement and ocamlformat
-rw-r--r--bin/dune2
-rw-r--r--bin/main.ml4
-rw-r--r--flake.nix1
3 files changed, 5 insertions, 2 deletions
diff --git a/bin/dune b/bin/dune
index 73686e6..4874544 100644
--- a/bin/dune
+++ b/bin/dune
@@ -5,4 +5,4 @@
(executable
(public_name aoc2025)
(name main)
- (libraries aoc2025))
+ (libraries aoc2025 unix))
diff --git a/bin/main.ml b/bin/main.ml
index 2cddf84..0ffbaac 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -37,7 +37,9 @@ let () =
let fn = day_part_fn args.(2) args.(1) in
let ic = open_in args.(0) in
try
- fn ic
+ let s = Unix.gettimeofday () in
+ fn ic;
+ Printf.printf "%.3f" ((Unix.gettimeofday ()) -. s)
with e ->
close_in_noerr ic;
raise e
diff --git a/flake.nix b/flake.nix
index f9de1fc..8146942 100644
--- a/flake.nix
+++ b/flake.nix
@@ -23,6 +23,7 @@
] ++ (with ocamlPackages; [
ocaml
ocaml-lsp
+ ocamlformat
]);
};
};