From 590c51bbac8b36df872c81e73179e332f522f8aa Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Fri, 30 Sep 2016 12:51:38 -0400
Subject: [PATCH] remove rosette dep; dont build rosette files

---
 info.rkt           | 1 -
 turnstile/info.rkt | 4 ++++
 2 files changed, 4 insertions(+), 1 deletion(-)

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"))
+