From bb3156b8ab78b035ce886bbe3021ec7cbe269d03 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 11 Jul 2026 00:51:11 -0300 Subject: FOL: First Order Logic Execution Engine Co-authored-by: Estevan Castilho --- flake.nix | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'flake.nix') diff --git a/flake.nix b/flake.nix index 47c6400..276925f 100644 --- a/flake.nix +++ b/flake.nix @@ -26,7 +26,11 @@ duneVersion = "3"; src = self; - propagatedBuildInputs = [ ocamlPackages.batteries ]; + propagatedBuildInputs = [ + ocamlPackages.batteries + ocamlPackages.ctypes + ocamlPackages.ctypes-foreign + ]; checkInputs = [ ocamlPackages.alcotest ]; doCheck = true; @@ -52,6 +56,8 @@ ocamlPackages.utop ocamlPackages.batteries ocamlPackages.alcotest + ocamlPackages.ctypes + ocamlPackages.ctypes-foreign ]; }; }); -- cgit v1.2.3