summaryrefslogtreecommitdiff
blob: 61787b76f29e6645bf0dfc125beeb52747569e76 (plain)
1
2
3
4
5
6
7
8
9
10
11
--- a/makefile.in
+++ b/makefile.in
@@ -60,7 +60,7 @@ mobical: src/mobical.o libcadical.a makefile $(LIBS)
 	$(COMPILE) -o $@ $< -L. -lcadical
 
 libcadical.a: $(OBJ_SOLVER) $(OBJ_CONTRIB) makefile
-	ar rc $@ $(OBJ_SOLVER) $(OBJ_CONTRIB)
+	${AR} rc $@ $(OBJ_SOLVER) $(OBJ_CONTRIB)
 
 #--------------------------------------------------------------------------#