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.