www

commit 590c51bbac8b36df872c81e73179e332f522f8aa
parent 383634e14f27137ee976a2516c5b7e1e4c165dcf
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Fri, 30 Sep 2016 12:51:38 -0400

remove rosette dep; dont build rosette files

Diffstat:
M
info.rkt
 | 
1
-
M
turnstile/info.rkt
 | 
4
++++

2 files changed, 4 insertions(+), 1 deletion(-)
diff --git 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
@@ -3,3 +3,7 @@
 (define scribblings
   '(["scribblings/turnstile.scrbl" ()]))
 
+(define compile-omit-paths 
+  '("examples/rosette"
+    "examples/tests/rosette"))
+