;;;; timed-resource.setup  -*- Hen -*-

(use setup-helper-mod)

(verify-extension-name "timed-resource")

(setup-shared-extension-module 'timed-resource (extension-version "1.0.2")
  #:inline? #t
  #:types? #t
  #:compile-options '(
    -scrutinize
    -optimize-level 3 -debug-level 1
    -no-procedure-checks) )