Fix native build

xubaiw · Nov 5, 2021 · 02da947 · 02da947
1 parent d86b7e2
commit 02da947
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 10 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,4 @@
 **/build
 **/lean_packages
-.vscode
+.vscode
+result*
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -35,6 +35,7 @@
         native = buildCLib {
           src = ./native;
           name = "lean-socket-native";
+          updateCCOptions = o: o ++ [ "-I${leanPkgs.lean-bin-tools-unwrapped}/include" ];
         };
         project = leanPkgs.buildLeanPackage {
           name = "Socket";