((synopsis "Easily create micro-benchmarks")
 (version "0.3.3")
 (author "David Krentzlin")
 (maintainer "Kon Lovett")
 (category testing)
 (license "GPLv3")
 (dependencies (micro-stats "0.4.1"))
 (test-dependencies test test-utils)
 (components
  ;Note no context-switching allowed
  (extension micro-benchmark
    (types-file)
    (component-dependencies current-nanoseconds)
    (csc-options "-O4" "-d1"
                 "-strict-types"
                 "-disable-interrupts"
                 "-no-procedure-checks-for-toplevel-bindings"
                 "-no-procedure-checks-for-usual-bindings") )
  (extension current-nanoseconds
    (types-file)
    (csc-options "-feature" "reliable-time"
                 "-O4" "-d0"
                 "-strict-types"
                 "-disable-interrupts"
                 "-no-procedure-checks" "-no-bound-checks" "-no-argc-checks") )
  (extension current-microseconds
    (types-file)
    (component-dependencies current-nanoseconds)
    (csc-options "-O4" "-d0"
                 "-strict-types"
                 "-disable-interrupts"
                 "-no-procedure-checks" "-no-bound-checks" "-no-argc-checks") ) ) )