runtime4 changes for Makefile.upstream

lukemaurer · Oct 22, 2024 · ff18be6 · ff18be6
1 parent c01655e
commit ff18be6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/runtime4/dune b/runtime4/dune
@@ -81,6 +81,7 @@
   ../Makefile.build_config
   ../Makefile.config_if_required
   ../Makefile.common
+  ../Makefile.upstream
   Makefile
   (glob_files caml/*.h)
   caml/domain_state.tbl
@@ -93,7 +94,7 @@
    (progn
     (bash "touch .depend") ; hack.
     (run make "SAK_LINK=cc -o $(1) $(2)" COMPUTE_DEPS=false sak)
-    (run make -sj8 %{targets} COMPUTE_DEPS=false)
+    (run make -sj8 -f Makefile.upstream %{targets} COMPUTE_DEPS=false)
     (bash "rm .depend")))))
 
 (install