;;;; "remote-mailbox.setup  -*- Hen -*-

(include "setup-helper")

(verify-extension-name "remote-mailbox")

(required-extension-version
  "synch"                   "2.0.1"
  "lookup-table"            "1.11.2")

(setup-shared-extension-module 'remote-mailbox-common (extension-version "2.0.0")
  #:compile-options '(-fixnum-arithmetic
                      -optimize-level 3
                      -no-procedure-checks))

(setup-shared-extension-module 'remote-mailbox-client (extension-version "2.0.0")
  #:compile-options '(-fixnum-arithmetic
                      -optimize-level 3
                      -no-procedure-checks))

(setup-shared-extension-module 'remote-mailbox-server (extension-version "2.0.0")
  #:compile-options '(-fixnum-arithmetic
                      -optimize-level 3
                      -no-procedure-checks))

(install-extension-tag (extension-name) (extension-version "2.0.0"))