Update makefile

AlloyTools · Oct 2, 2024 · 2a6f89e · 2a6f89e
1 parent 760ec5b
commit 2a6f89e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/org.alloytools.pardinus.native/native-code/Makefile b/org.alloytools.pardinus.native/native-code/Makefile
@@ -106,7 +106,7 @@ darwin: \
 	native/darwin/arm64/plingeling \
 	native/darwin/amd64/plingeling 
 
-linux: $(DIRS) $(REPOS) native headers
+linux: $(DIRS) $(REPOS) $(REPOS_PATHS) native headers 
 	./dockcross_linux bash -c "make build_linux_inner"
 
 build_linux_inner:
@@ -128,7 +128,7 @@ build_linux_inner:
 	cp build/plingeling native/linux/amd64/plingeling
 
 
-windows: $(DIRS) $(REPOS) headers
+windows: $(DIRS) $(REPOS) $(REPOS_PATHS) headers
 	./dockcross_windows bash -c "make build_windows_inner"
 
 build_windows_inner: