Revert bin/platform deletions.

sireum · Oct 12, 2024 · fa7028c · fa7028c
1 parent 375e5a4
commit fa7028c
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -49,3 +49,12 @@
 [submodule "hamr/sysml"]
 	path = hamr/sysml
 	url = https://github.com/sireum/hamr-sysml.git
+[submodule "bin/mac"]
+	path = bin/mac
+	url = https://github.com/sireum/bin-mac
+[submodule "bin/linux"]
+	path = bin/linux
+	url = https://github.com/sireum/bin-linux
+[submodule "bin/win"]
+	path = bin/win
+	url = https://github.com/sireum/bin-windows
diff --git a/bin/linux b/bin/linux
diff --git a/bin/mac b/bin/mac
diff --git a/bin/win b/bin/win