feat: Add config flag to turn off copying of deployment addresses

config.js

@@ -14,6 +14,13 @@ exports.full_exports = ["SimpleTestMaker"];
 /////////////////////////////////////
 // mangrove-deployments configuration
 
+// Whether to fetch deployments from mangrove-deployments.
+// Setting this to false allows manually specifying the addresses to use
+// by writing them to the JSON files in the addresses/deployed directory.
+// This may be useful if one wants to use a non-primary deployment.
+// Default is true.
+exports.copyDeployments = true;
+
 // The SemVer range describing the versions of the Mangrove core contracts
 // to query mangrove-deployments for.
 // Default is the latest patch of the current package version.

copyDeploymentAddresses.js

@@ -3,6 +3,15 @@ const fs = require("fs");
 const path = require("path");
 const config = require("./config");
 
+if (!config.copyDeployments) {
+  console.group(
+    "Skipping copying deployments from the mangrove-deployments package.",
+  );
+  console.log("Set copyDeployments = true in config.js to enable copying.");
+  console.log("Using addresses/deployed/*.json files as-is instead.");
+  console.groupEnd();
+}
+
 // This is a hack to get the network names because the addresses
 // file names use non-canonical network names from ethers.js
 const networkNames = {