FOL: First Order Logic Execution Engine

Co-authored-by: Estevan Castilho <tevo@riajuu.net>

1 files changed, 7 insertions, 1 deletions

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
             ];
           };
         });