shorter submodule paths (awslabs#705)

graebm · karkhaz · web-flow · commit eecf6b617a4a · 2020-10-07T15:48:00.000-07:00
Shorten file path, as well as "logical path" in .gitmodules file. This is to aid with pain on windows when paths exceed 260 characters. We do a lot of recursive submodules, and these things add up.

Co-authored-by: Kareem Khazem &lt;karkhaz@amazon.com&gt;
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
-[submodule "tests/cbmc/aws-templates-for-cbmc-proofs"]
-	path = verification/cbmc/aws-templates-for-cbmc-proofs
+[submodule "cbmc-templates"]
+	path = verification/cbmc/templates
 	url = https://github.com/awslabs/aws-templates-for-cbmc-proofs.git
diff --git a/verification/cbmc/aws-templates-for-cbmc-proofs b/verification/cbmc/aws-templates-for-cbmc-proofs
diff --git a/verification/cbmc/include/README.md b/verification/cbmc/include/README.md
@@ -1 +1 @@
-../aws-templates-for-cbmc-proofs/template-for-repository/include/README.md
+../templates/template-for-repository/include/README.md
diff --git a/verification/cbmc/proofs/Makefile.common b/verification/cbmc/proofs/Makefile.common
@@ -1 +1 @@
-../aws-templates-for-cbmc-proofs/template-for-repository/proofs/Makefile.common
+../templates/template-for-repository/proofs/Makefile.common
diff --git a/verification/cbmc/proofs/README.md b/verification/cbmc/proofs/README.md
@@ -1 +1 @@
-../aws-templates-for-cbmc-proofs/template-for-repository/proofs/README.md
+../templates/template-for-repository/proofs/README.md
diff --git a/verification/cbmc/proofs/prepare.py b/verification/cbmc/proofs/prepare.py
@@ -1 +1 @@
-../aws-templates-for-cbmc-proofs/template-for-repository/proofs/prepare.py
+../templates/template-for-repository/proofs/prepare.py
diff --git a/verification/cbmc/sources/README.md b/verification/cbmc/sources/README.md
@@ -1 +1 @@
-../aws-templates-for-cbmc-proofs/template-for-repository/sources/README.md
+../templates/template-for-repository/sources/README.md
diff --git a/verification/cbmc/stubs/README.md b/verification/cbmc/stubs/README.md
@@ -1 +1 @@
-../aws-templates-for-cbmc-proofs/template-for-repository/stubs/README.md
+../templates/template-for-repository/stubs/README.md
diff --git a/verification/cbmc/templates b/verification/cbmc/templates
@@ -0,0 +1 @@
+Subproject commit f9dd8d74626c1638934176cc4bcb17bed038cbd2

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-../aws-templates-for-cbmc-proofs/template-for-repository/include/README.md`
	`1`	`+../templates/template-for-repository/include/README.md`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-../aws-templates-for-cbmc-proofs/template-for-repository/proofs/Makefile.common`
	`1`	`+../templates/template-for-repository/proofs/Makefile.common`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-../aws-templates-for-cbmc-proofs/template-for-repository/sources/README.md`
	`1`	`+../templates/template-for-repository/sources/README.md`