diff --git a/developers/build-sequence b/developers/build-sequence
index dc1c683b4f..10a7063932 100644
--- a/developers/build-sequence
+++ b/developers/build-sequence
@@ -8,6 +8,8 @@ developers/bin
 semantics/ffi
 semantics
 semantics/proofs
+semantics/alt_semantics
+semantics/alt_semantics/proofs
 
 # translator
 basis/pure