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

(use setup-helper-mod)

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

(setup-shared-extension-module 'remote-mailbox-common (extension-version "2.1.1")
  #:compile-options '(
    -scrutinize
    -fixnum-arithmetic
    -O3 -d1
    -no-procedure-checks))

(setup-shared-extension-module 'remote-mailbox-packet (extension-version "2.1.1")
  #:compile-options '(
    -scrutinize
    -fixnum-arithmetic
    -O3 -d1
    -no-procedure-checks))

(setup-shared-extension-module 'remote-mailbox-adapter (extension-version "2.1.1")
  #:compile-options '(
    -scrutinize
    -fixnum-arithmetic
    -O3 -d1
    -no-procedure-checks))

(setup-shared-extension-module 'remote-mailbox-client (extension-version "2.1.1")
  #:compile-options '(
    -scrutinize
    -fixnum-arithmetic
    -O3 -d1
    -no-procedure-checks))

(setup-shared-extension-module 'remote-mailbox-server (extension-version "2.1.1")
  #:compile-options '(
    -scrutinize
    -fixnum-arithmetic
    -O3 -d1
    -no-procedure-checks))

(install-extension-tag 'remote-mailbox (extension-version "2.1.1"))