Fixed default nix build

digitallyinduced · Jul 15, 2021 · 2629320 · 2629320
1 parent 2eca339
commit 2629320
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/NixSupport/default.nix b/NixSupport/default.nix
@@ -13,7 +13,13 @@ in
     pkgs.stdenv.mkDerivation {
         name = "app";
         buildPhase = ''
-          make -B build/ihp-lib
+          mkdir -p build
+          rm -f build/ihp-lib
+
+          mkdir -p IHP
+          ln -s "${ihp}/lib/IHP" build/ihp-lib
+          ln -s "${ihp}/lib" IHP/lib # Avoid the Makefile calling 'which RunDevServer'
+
           make -B build/bin/RunUnoptimizedProdServer
         '';
         installPhase = ''