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

(include "setup-helper")

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

(required-extension-version
  "miscmacros"              "2.91"
  "s11n"                    "0.9.3"
  "mailbox"                 "2.1.2"
  "tcp-server"              "1.2"
  "check-errors"            "1.12.0"
  "synch"                   "2.1.1"
  "lookup-table"            "1.13.1")

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

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

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

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