Merge pull request #658 from CakeML/build_alt_semantics

Add semantics/alt_semantics to the build sequence
CakeML · May 29, 2019 · 6553fc5 · 6553fc5
2 parents 52270c0 + 1525f6a
commit 6553fc5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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