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

(include "setup-helper")

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

(required-extension-version
	"record-variants"     "0.5"
  "thread-utils"        "1.0.0"
  "synch"               "2.1.0"
  "check-errors"        "1.9.0")

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