| Line | |
|---|
| 1 | ;;;; combinators.setup -*- Hen -*- |
|---|
| 2 | |
|---|
| 3 | (include "setup-helper") |
|---|
| 4 | |
|---|
| 5 | (verify-extension-name "combinators") |
|---|
| 6 | |
|---|
| 7 | (setup-shared-extension-module 'uni-combinators (extension-version "1.2.0") |
|---|
| 8 | #:compile-options '(-scrutinize -optimize-level 3 -lambda-lift)) |
|---|
| 9 | |
|---|
| 10 | (setup-shared-extension-module 'bi-combinators (extension-version "1.2.0") |
|---|
| 11 | #:compile-options '(-scrutinize -optimize-level 3 -lambda-lift)) |
|---|
| 12 | |
|---|
| 13 | (setup-shared-extension-module 'tri-combinators (extension-version "1.2.0") |
|---|
| 14 | #:compile-options '(-scrutinize -optimize-level 3 -lambda-lift)) |
|---|
| 15 | |
|---|
| 16 | (setup-shared-extension-module 'section-combinators (extension-version "1.2.0") |
|---|
| 17 | #:compile-options '(-scrutinize -optimize-level 3 -lambda-lift)) |
|---|
| 18 | |
|---|
| 19 | #; |
|---|
| 20 | (setup-shared-extension-module 'generic-section-combinators (extension-version "1.2.0") |
|---|
| 21 | #:compile-options '(-scrutinize -optimize-level 3 -lambda-lift)) |
|---|
| 22 | |
|---|
| 23 | (setup-shared-extension-module 'logical-combinators (extension-version "1.2.0") |
|---|
| 24 | #:compile-options '(-scrutinize -optimize-level 3 -lambda-lift)) |
|---|
| 25 | |
|---|
| 26 | (setup-shared-extension-module 'sort-combinators (extension-version "1.2.0") |
|---|
| 27 | #:compile-options '(-scrutinize -optimize-level 3 -lambda-lift)) |
|---|
| 28 | |
|---|
| 29 | (setup-shared-extension-module 'stack-combinators (extension-version "1.2.0") |
|---|
| 30 | #:compile-options '(-scrutinize -optimize-level 3 -lambda-lift)) |
|---|
| 31 | |
|---|
| 32 | (install-extension 'combinators '() `((version ,(extension-version "1.2.0")))) |
|---|
Note: See
TracBrowser
for help on using the repository browser.
