www

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

info.rkt (802B)

      1 #lang info
      2 
      3 (define scribblings
      4   '(["scribblings/turnstile.scrbl" (multi-page)]))
      5 
      6 (define compile-omit-paths 
      7   '("examples/rosette"
      8     "examples/fomega3.rkt"
      9     "examples/tests"
     10     "rackunit-typechecking.rkt"
     11     "examples/trivial.rkt")) ; needs typed racket
     12 
     13 (define test-include-paths
     14   '("examples/tests/mlish")) ; to include .mlish files
     15 
     16 (define test-omit-paths
     17   '("examples/rosette"
     18     "examples/tests/rosette"             ; needs rosette
     19     "examples/tests/trivial-test.rkt"    ; needs typed/racket
     20     "examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp
     21     "examples/fomega3.rkt"
     22     "examples/tests/fomega3-tests.rkt"
     23     "examples/tests/mlish/bg/README.md"))
     24 
     25 (define test-timeouts
     26   '(("examples/tests/mlish/generic.mlish" 300)
     27     ("examples/tests/tlb-infer-tests.rkt" 1800)))