add oz add git module

F-WRunTime · Jul 10, 2024 · 1fe57db · 1fe57db
1 parent adc11b6
commit 1fe57db
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 3 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "lib/kontrol-cheatcodes"]
 	path = lib/kontrol-cheatcodes
 	url = https://github.com/runtimeverification/kontrol-cheatcodes
+[submodule "lib/openzeppelin-contracts"]
+	path = lib/openzeppelin-contracts
+	url = https://github.com/OpenZeppelin/openzeppelin-contracts
diff --git a/lib/openzeppelin-contracts b/lib/openzeppelin-contracts
diff --git a/package.json b/package.json
@@ -35,8 +35,5 @@
     "solhint": "^4.1.1",
     "solhint-plugin-lido": "^0.0.4",
     "solidity-coverage": "^0.8.4"
-  },
-  "dependencies": {
-    "@openzeppelin/contracts": "5.0.1"
   }
 }
diff --git a/remappings.txt b/remappings.txt
@@ -0,0 +1 @@
+@openzeppelin/=lib/openzeppelin-contracts/