;;;  -*- Hen -*-

(use setup-helper-mod)

(verify-extension-name "nondeterminism")

(setup-shared-extension-module 'nondeterminism (extension-version "1.2")
  #:inline? #t #:types? #t
  #:compile-options '(-O3 -d2)
  #:install-options '((examples "examples/nondeterminism-dwelling.scm" "examples/nondeterminism-kalotan.scm" "examples/nondeterminism-money.scm")))