Make install command macOS-compatible

stanford-centaur · Jul 5, 2024 · d392702 · d392702
1 parent 1087e75
commit d392702
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/contrib/setup-cadical.sh b/contrib/setup-cadical.sh
@@ -23,4 +23,5 @@ else
     CXXFLAGS=-fPIC ./configure
 fi
 make
-install -Dm644 -t "$DEPS_DIR/install/lib" "build/libcadical.a"
+mkdir -p "$DEPS_DIR/install/lib"
+install -m644 "build/libcadical.a" "$DEPS_DIR/install/lib"