-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsalt.setup
97 lines (66 loc) · 2.81 KB
/
salt.setup
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
;;;; -*- Hen -*-
(define (dynld-name fn)
(make-pathname #f fn ##sys#load-dynamic-extension))
(define version "0.25")
(use make)
(make (
("expr.grm.scm" ("expr.grm")
(run (csi -s expr.grm)))
((dynld-name "salt") ("salt.scm" "env.scm" "parser.scm" "expr.grm.scm" "codegen.scm" )
(compile -O -d2 -S -s -I ,(repository-path) salt.scm -j salt))
((dynld-name "salt.import") ("salt.import.scm")
(compile -O -d2 -S -s salt.import.scm))
)
(list (dynld-name "salt")
(dynld-name "salt.import"))
)
(install-extension
; Name of your extension:
'salt
; Files to install for your extension:
`(,(dynld-name "salt") ,(dynld-name "salt.import") )
; Assoc list with properties for your extension:
`((version ,version)
))
;; From setup-header.scm by Kon Lovett
(define (installation-chicken-home)
(if (not (installation-prefix)) (chicken-home)
(make-pathname `(,(installation-prefix) "share") "chicken") ) )
;;; Constants & Procedures
(define SHARED-DIR (installation-chicken-home))
(define SALT-DIR (make-pathname SHARED-DIR "salt"))
;; File Copy Operations
(define (copy-file-to-salt-dir fn)
(let ([fn (->string fn)])
(copy-file fn (make-pathname SALT-DIR fn)) ) )
(copy-file-to-salt-dir "sml-lib/mlb-path-map")
(copy-file-to-salt-dir "sml-lib/rk/rk.sml")
(copy-file-to-salt-dir "sml-lib/rk/rk.mlb")
(copy-file-to-salt-dir "sml-lib/rk/crk.sml")
(copy-file-to-salt-dir "sml-lib/rk/crk.mlb")
(copy-file-to-salt-dir "sml-lib/rk/crklib.c")
(copy-file-to-salt-dir "sml-lib/rk/crk_common.h")
(copy-file-to-salt-dir "sml-lib/dynamics/dynamics.sig")
(copy-file-to-salt-dir "sml-lib/dynamics/dynamics.sml")
(copy-file-to-salt-dir "sml-lib/dynamics/dynamics.mlb")
(copy-file-to-salt-dir "sml-lib/queue/fun-queue.sig")
(copy-file-to-salt-dir "sml-lib/queue/fun-queue.sml")
(copy-file-to-salt-dir "sml-lib/queue/fun-queue.mlb")
(copy-file-to-salt-dir "sml-lib/prioq/SkewBinomialHeap.sml")
(copy-file-to-salt-dir "sml-lib/prioq/prioq.sml")
(copy-file-to-salt-dir "sml-lib/prioq/prioq.mlb")
(copy-file-to-salt-dir "sml-lib/lininterp/lininterp.sml")
(copy-file-to-salt-dir "sml-lib/lininterp/lininterp.mlb")
(copy-file-to-salt-dir "sml-lib/randmtzig/randmtzig.sml")
(copy-file-to-salt-dir "sml-lib/randmtzig/randmtziglib.c")
(copy-file-to-salt-dir "sml-lib/randmtzig/randmtzig.mlb")
(copy-file-to-salt-dir "sml-lib/findroot/findroot.sml")
(copy-file-to-salt-dir "sml-lib/findroot/findroot.mlb")
(copy-file-to-salt-dir "sml-lib/printf/printf.sml")
(copy-file-to-salt-dir "sml-lib/printf/printf.mlb")
(copy-file-to-salt-dir "sml-lib/state/state.sml")
(copy-file-to-salt-dir "sml-lib/state/state.mlb")
(copy-file-to-salt-dir "sml-lib/model/model.sig")
(copy-file-to-salt-dir "sml-lib/model/model-randmtzig.sig")
(copy-file-to-salt-dir "sml-lib/model/prelude.sml")
(copy-file-to-salt-dir "sml-lib/model/random.sml")