diff --git a/info.rkt b/info.rkt
index 1d911b0..934446d 100644
--- a/info.rkt
+++ b/info.rkt
@@ -6,7 +6,6 @@
   '("base"
     "sweet-exp-lib"
     "lens"
-    "rosette"
     ))
 
 (define build-deps
diff --git a/turnstile/info.rkt b/turnstile/info.rkt
index c4f9381..075aea2 100644
--- a/turnstile/info.rkt
+++ b/turnstile/info.rkt
@@ -3,3 +3,7 @@
 (define scribblings
   '(["scribblings/turnstile.scrbl" ()]))
 
+(define compile-omit-paths 
+  '("examples/rosette"
+    "examples/tests/rosette"))
+