www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 8cce856e08a07e976c7d05a33c21d5f5bd62a468
parent 83c9e7c122026d94fed76606b426d12ea392ddba
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Fri,  7 Oct 2016 10:20:08 -0400

dont compile tests during install

Diffstat:
Amacrotypes/info.rkt | 4++++
Mturnstile/info.rkt | 2+-
2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/macrotypes/info.rkt b/macrotypes/info.rkt @@ -0,0 +1,4 @@ +#lang info + +(define compile-omit-paths + '("examples/tests")) diff --git a/turnstile/info.rkt b/turnstile/info.rkt @@ -5,7 +5,7 @@ (define compile-omit-paths '("examples/rosette" - "examples/tests/rosette")) + "examples/tests")) (define test-omit-paths '("examples/rosette"