From 8cce856e08a07e976c7d05a33c21d5f5bd62a468 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Fri, 7 Oct 2016 10:20:08 -0400 Subject: [PATCH] dont compile tests during install --- macrotypes/info.rkt | 4 ++++ turnstile/info.rkt | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 macrotypes/info.rkt diff --git a/macrotypes/info.rkt b/macrotypes/info.rkt new file mode 100644 index 0000000..3bbd4cc --- /dev/null +++ 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 index 634a654..24bbc73 100644 --- 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"