aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/command/build.lux
blob: 8960d9c75b9fa35fa50c95e5be395346e4d6e40a (plain)
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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
(.module:
  [lux (#- Name)
   [abstract
    [monad (#+ do)]]
   [control
    ["." try (#+ Try)]
    ["." exception (#+ exception:)]
    ["." io (#+ IO)]
    [concurrency
     ["." promise (#+ Promise) ("#\." monad)]]
    [security
     ["!" capability]]]
   [data
    ["." product]
    ["." maybe]
    ["." text ("#\." equivalence)
     ["%" format (#+ format)]]
    [collection
     ["." list ("#\." functor)]
     ["." dictionary]
     ["." set]]
    [number
     ["i" int]]]
   [world
    [program (#+ Program)]
    ["." file (#+ Path)]
    ["." shell (#+ Shell)]
    ["." console (#+ Console)]]]
  ["." /// #_
   ["#" profile]
   ["#." action]
   ["#." command (#+ Command)]
   ["#." local]
   ["#." cache]
   ["#." repository]
   ["#." runtime]
   ["#." dependency (#+ Dependency)
    ["#/." resolution (#+ Resolution)]]
   ["#." artifact (#+ Group Name Artifact)
    ["#/." type]]])

(type: Finder
  (-> Resolution (Maybe Dependency)))

(def: (dependency-finder group name)
  (-> Group Name Finder)
  (|>> dictionary.entries
       (list.one (function (_ [dependency package])
                   (if (and (text\= group (get@ [#///dependency.artifact #///artifact.group] dependency))
                            (text\= name (get@ [#///dependency.artifact #///artifact.name] dependency)))
                     (#.Some dependency)
                     #.None)))))

(def: #export lux-group
  Group
  "com.github.luxlang")

(def: #export jvm-compiler-name
  Name
  "lux-jvm")

(def: #export js-compiler-name
  Name
  "lux-js")

(template [<finder> <name>]
  [(def: <finder>
     Finder
     (..dependency-finder ..lux-group <name>))]

  [jvm-compiler ..jvm-compiler-name]
  [js-compiler ..js-compiler-name]
  )

(exception: #export no-available-compiler)
(exception: #export no-specified-program)
(exception: #export no-specified-target)

(type: #export Compiler
  (#JVM Artifact)
  (#JS Artifact))

(def: (remove-dependency dependency)
  (-> Dependency (-> Resolution Resolution))
  (|>> dictionary.entries
       (list.filter (|>> product.left (is? dependency) not))
       (dictionary.from-list ///dependency.hash)))

(def: (compiler resolution)
  (-> Resolution (Try [Resolution Compiler]))
  (case [(..jvm-compiler resolution)
         (..js-compiler resolution)]
    [(#.Some dependency) _]
    (#try.Success [(..remove-dependency dependency resolution)
                   (#JVM (get@ #///dependency.artifact dependency))])
    
    [_ (#.Some dependency)]
    (#try.Success [(..remove-dependency dependency resolution)
                   (#JS (get@ #///dependency.artifact dependency))])

    _
    (exception.throw ..no-available-compiler [])))

(def: (libraries fs)
  (All [!] (-> (file.System !) Resolution (List Path)))
  (|>> dictionary.keys
       (list.filter (|>> (get@ #///dependency.type) (text\= ///artifact/type.lux-library)))
       (list\map (|>> (get@ #///dependency.artifact) (///local.path fs)))))

(def: (singular name)
  (-> Text Text (List Text))
  (|>> (list name)))

(def: (plural name)
  (-> Text (List Text) (List Text))
  (|>> (list\map (|>> (list name))) list.concat))

(def: #export start "[BUILD STARTED]")
(def: #export success "[BUILD ENDED]")
(def: #export failure "[BUILD FAILED]")

(def: #export (do! console program fs shell resolution profile)
  (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command [Compiler Path]))
  (case [(get@ #///.program profile)
         (get@ #///.target profile)]
    [#.None _]
    (promise\wrap (exception.throw ..no-specified-program []))

    [_ #.None]
    (promise\wrap (exception.throw ..no-specified-target []))
    
    [(#.Some program-module) (#.Some target)]
    (do promise.monad
      [environment (\ program environment [])
       working-directory (\ program directory [])]
      (do ///action.monad
        [[resolution compiler] (promise\wrap (..compiler resolution))
         #let [[command output] (let [[compiler output] (case compiler
                                                          (#JVM artifact) [(///runtime.java (///local.path fs artifact))
                                                                           "program.jar"]
                                                          (#JS artifact) [(///runtime.node (///local.path fs artifact))
                                                                          "program.js"])]
                                  [(format compiler " build") output])
               / (\ fs separator)
               cache-directory (format working-directory / target)]
         _ (console.write-line ..start console)
         process (!.use (\ shell execute)
                        [environment
                         working-directory
                         command
                         (list.concat (list (..plural "--library" (..libraries fs resolution))
                                            (..plural "--source" (set.to-list (get@ #///.sources profile)))
                                            (..singular "--target" cache-directory)
                                            (..singular "--module" program-module)))])
         exit (!.use (\ process await) [])
         _ (console.write-line (if (i.= shell.normal exit)
                                 ..success
                                 ..failure)
                               console)]
        (wrap [compiler
               (format cache-directory / output)])))))