diff --git a/.gitmodules b/.gitmodules
index f1b451cd..d46c03e4 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -25,3 +25,6 @@
 [submodule "junctions"]
 	path = junctions
 	url = https://github.com/ucb-bar/junctions
+[submodule "context-dependent-environments"]
+	path = context-dependent-environments
+	url = https://github.com/ucb-bar/context-dependent-environments
diff --git a/context-dependent-environments b/context-dependent-environments
new file mode 160000
index 00000000..b199196e
--- /dev/null
+++ b/context-dependent-environments
@@ -0,0 +1 @@
+Subproject commit b199196e8c2b2920b683f501b15c404fe63124c2