diff --git a/external/spectre b/external/spectre
new file mode 160000
index 0000000000000000000000000000000000000000..bdc235b49b0c3aafa1c9f05379f8e415047abf0d
--- /dev/null
+++ b/external/spectre
@@ -0,0 +1 @@
+Subproject commit bdc235b49b0c3aafa1c9f05379f8e415047abf0d