CpmLogic.icl 14.8 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
implementation module CpmLogic

/**
 * CPM imports
 */
import AbsSyn

/**
 * CleanIDE imports
 */
import IdeState, logfile, PmDriver, PmEnvironment, PmProject, set_return_code, UtilIO, UtilStrictLists

/**
 * Clean Platform imports
 */
16
17
18
import Text
import Data.Func, Data.Error, Data.List, Data.Void
import System.Directory, System.File, System.FilePath
19
20
21
22
23
24
25
26
27

/**
 * Clean libraries imports
 */
import StdBool, StdEnum, StdMisc, StdTuple

/**
 * Execute a general CPM action
 */
28
29
30
31
32
33
doCpmAction :: String String !.CpmAction !*World -> .World
doCpmAction cleanhome  pwd  CpmMake           world = doMake cleanhome pwd world
doCpmAction cleanhome  pwd  (Project pn pa)   world = doProjectAction cleanhome pwd pn pa world
doCpmAction cleanhome  pwd  (Module mn ma)    world = doModuleAction cleanhome mn ma world
doCpmAction cleanhome  pwd  (Environment ea)  world = doEnvironmentAction cleanhome pwd ea world
doCpmAction _          _    _                 world =
34
35
  help  "cpm <target>"
    [  "Where <target> is one of the following:"
36
37
38
39
40
41
42
    ,  "  <projectname> [--force] [--envs=filename]  : build project <projectname>."
    ,  "                                               Optionally force build (default: 'false')"
    ,  "                                               Optionally specify the environments file (default: 'IDEEnvs')"
    ,  "  project <projectname>                      : project actions"
    ,  "  module <modulename>                        : module actions"
    //,  "  environment                                : environment actions"
    ,  "  make                                       : build all projects in the current directory"
43
44
45
    ,  ""
    ,  "Execute `cpm <target> help` to get help for specific actions."] world

46
47
48
49
50
51
52
53
54
55
56
57
/**
 * Find all project files in the current working directory and build them
 */
doMake :: String !String !*World -> .World
doMake cleanhome pwd world
  # (mbErr, world) = readDirectory pwd world
  = case mbErr of
      Error _     -> error "Failed to read current directory" world
      Ok entries  -> case filter (\entry -> endsWith ".prj" entry) entries of
                       []  -> error ("No project file found in " +++ pwd) world
                       xs  -> foldr (\pn -> doProjectAction cleanhome pwd pn (BuildProject False EnvsFileName)) world xs

58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
/**
 * Default compiler options. Currently it is a simple alias for
 * forwards-compatibility.
 */
compilerOptions :: CompilerOptions
compilerOptions = DefaultCompilerOptions

/**
 * Execute project-specific actions
 */
doProjectAction :: .String .String .String .ProjectAction *World -> .World
doProjectAction cleanhome pwd  pn  CreateProject world
  //Check if main module exists
  # (exists,world)    = fileExists mainmodule world
  | not exists        = error ("Main module " +++ mainmodule +++ " does not exist.") world
  # (prjok, world)    = accFiles (SaveProjectFile projectfile project cleanhome) world
  | not prjok         = error ("Could not create project file " +++ projectfile) world
  = world
  where  basefilename  = dropExtension pn
         mainmodule    = addExtension basefilename "icl"
78
         projectfile   = mkProjectFile basefilename //addExtension basefilename "prj"
79
80
         edit_options  = {eo={newlines=NewlineConventionUnix},pos_size=NoWindowPosAndSize}
         project       = PR_SetRoot mainmodule edit_options compilerOptions prj
81
           //Create project file using the Clean IDE libraries
82
83
84
85
           where prj  = PR_NewProject mainmodule edit_options compilerOptions DefCodeGenOptions
                          DefApplicationOptions [!!] DefaultLinkOptions

doProjectAction cleanhome pwd  pn  ShowProject world
86
  # projectfile       = mkProjectFile pn
87
88
89
90
91
92
93
94
95
96
  # (project, world)  = openProject cleanhome projectfile world
  = showLines  [  "Content of " +++ projectfile +++ ":"
               ,  "ProjectRoot..: " +++ PR_GetRelativeRootDir project
               ,  "Target.......: " +++ PR_GetTarget project
               ,  "Executable...: " +++ PR_GetExecPath project
               ,  "Paths........:"
               :  showPaths project
               ] world

doProjectAction cleanhome pwd  pn  (BuildProject force ideenvs) world
97
98
99
  # (envs, world)             = openEnvironments cleanhome (cleanhome </> ideenvs) world
  # ((proj, ok, err), world)  = accFiles (ReadProjectFile proj_path cleanhome) world
  | not ok || err <> ""       = error ("CPM failed while opening project: " +++ err +++ "\n") world
100
101
  # (console, world)          = stdio world
  # iniGeneral                = initGeneral True compilerOptions cleanhome proj_path proj envs console
102
  # {ls, gst_world}           = pinit force {ls=iniGeneral,gst_world=world,gst_continue_or_stop=False}
103
  = gst_world
104
105
106
  where  proj_path = GetLongPathName pn
         pinit force_rebuild gst = BringProjectUptoDate force_rebuild cleanup gst
         cleanup exepath bool1 bool2 ps = abortLog False "" ps
107
108

doProjectAction cleanhome  _  pn  (ProjectPath pa) world
109
  # projectfile       = mkProjectFile pn
110
111
112
  # (project, world)  = openProject cleanhome projectfile world
  = doProjectPathAction cleanhome projectfile project pa world

113
114
115
doProjectAction cleanhome pwd pn (SetRelativeRoot target) world =
  withProject cleanhome pn (PR_SetRelativeRootDir target) world

116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
doProjectAction cleanhome pwd pn (SetTarget target) world =
  withProject cleanhome pn (PR_SetTarget target) world

doProjectAction cleanhome pwd pn (SetExec exec) world =
  withProject cleanhome pn (PR_SetExecPath exec) world

doProjectAction _          _  _   _    world             =
  help "cpm project <projectname> <action>"
    [  "Where <action> is one of the following"
    ,  "  create                              : create a new project"
    ,  "  show                                : show project information"
    ,  "  build [--force] [--envs=filename]   : build the project. Optionally force build (default: 'false')"
    ,  "                                        Optionally specify the environments file (default: 'IDEEnvs')"
    ,  "  path                                : manage project paths"
    ,  "  target <env>                        : set target environment to <env>"
    ,  "  exec <execname>                     : set executable name to <execname>"
    ] world

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
162
163
164
165
166
/**
 * Execute environment-specific actions
 */
doEnvironmentAction :: .String .String .EnvironmentAction *World -> .World
doEnvironmentAction cleanhome  pwd  ListEnvironments                world = error ("Not implemented") world
doEnvironmentAction cleanhome  pwd  (ImportEnvironment ef)          world = error ("Not implemented") world
doEnvironmentAction cleanhome  pwd  (RemoveEnvironment en)          world = error ("Not implemented") world
doEnvironmentAction cleanhome  pwd  (ShowEnvironment en)            world = error ("Not implemented") world
doEnvironmentAction cleanhome  pwd  (ExportEnvironment en)          world = error ("Not implemented") world
doEnvironmentAction cleanhome  pwd  (CreateEnvironment en)          world = error ("Not implemented") world
doEnvironmentAction cleanhome  pwd  (RenameEnvironment en en`)      world = error ("Not implemented") world
doEnvironmentAction cleanhome  pwd  (SetEnvironmentCompiler en cp)  world = error ("Not implemented") world
doEnvironmentAction cleanhome  pwd  (SetEnvironmentCodeGen en cp)   world = error ("Not implemented") world
doEnvironmentAction _          _    _                               world =
  help "cpm environment <action>"
    [  "Where <action> is one of the following"
    ,  "  list                                  : list all available environments"
    ,  "  import <filepath>                     : import an environement from file <filepath>"
    ,  "  create <envname>                      : create a new environment with name <envname>"
    ,  "  remove <envname>                      : remove evironment <envname>"
    ,  "  show <envname>                        : show environment <envname>"
    ,  "  export <envname>                      : export environment <envname>"
    ,  "  rename <envname> <envname`>           : rename environment <envname> to <envname`>"
    ,  "  setcompiler <envname> <compilername>  : set compiler for <envname> to <compilername>"
    ,  "  setcodegen <envname> <codegenname>    : set codegen for <envname> to <codegenname>"
    ] world

/**
 * Turn a project name into a project filename
 */
mkProjectFile :: !String -> String
mkProjectFile pn = addExtension (dropExtension pn) "prj"

167
168
169
/**
 * Modify a project
 */
170
withProject :: !String !String .(Project -> Project) *World -> .World
171
withProject cleanhome pn f world
172
  # projectfile       = mkProjectFile pn
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
  # (project, world)  = openProject cleanhome projectfile world
  = saveProject cleanhome (f project) projectfile world

/**
 * Execute path-related project actions
 */
doProjectPathAction :: .String .String Project .PathAction *World -> .World
doProjectPathAction cleanhome pn project (AddPathAction path) world =
  doModPaths cleanhome pn project ((:!) path) world

doProjectPathAction cleanhome pn project (RemovePathAction i) world =
  doModPaths cleanhome pn project (rmStrictListIdx i) world

doProjectPathAction _ _ project ListPathsAction world = showLines ["Paths for project:" : showPaths project] world

doProjectPathAction cleanhome pn project (MovePathAction i pdir) world =
  doModPaths cleanhome pn project (moveStrictListIdx i pdir) world

doProjectPathAction _         _   _     _  world =
192
  help "cpm project <projectname.prj> path <action>"
193
194
195
196
197
198
199
200
201
    [  "Where <action> is one of the following"
    ,  "  add <path>          : add a path to the project"
    ,  "  list                : list all project paths and their index"
    ,  "  remove <i>          : remove path <i> from the list of projects"
    ,  "  move <i> <up|down>  : move path <i> up or down one position" ] world

/**
 * Collect all project paths in a list with an index prefixed
 */
202
showPaths :: !Project -> .[String]
203
204
205
206
207
208
209
210
showPaths project = map f (zip2 [0..] (StrictListToList (PR_GetPaths project)))
  where f (n, p)  = "  [" +++ toString n +++ "]  " +++ p

/**
 * Modify the list of paths in a project given a modification function which
 * takes a strict list of project paths and returns a strict list of project
 * paths.
 */
211
doModPaths :: !String !String !Project .([!String!] -> [!String!]) *World -> .World
212
213
214
215
216
217
218
219
220
221
222
223
224
doModPaths cleanhome pn project f world
  # world  = saveProject cleanhome prj pn world
  = showLines ["Successfully modified project paths"] world
  where  paths   = PR_GetPaths project
         prj     = PR_SetPaths False paths (f paths) project

/**
 * Open a project file
 */
openProject :: !FilePath !FilePath !*World -> (!Project, !*World)
openProject cleanhome projectfile world
  # ((prj, ok, err), world) = accFiles (ReadProjectFile projectfile cleanhome) world
  | ok  = (prj, world)
225
        = (prj, error err world)
226
227
228
229
230
231
232
233
234
235
236
237
238
239

/**
 * Save a project back to its project file
 */
saveProject :: !FilePath !Project !FilePath !*World -> *World
saveProject cleanhome prj projectfile world
  # (ok, world) = accFiles (SaveProjectFile projectfile prj cleanhome) world
  | not ok  = error "Error saving project" world
            = world

/**
 * Remove an item from a strict list at a given index. Abort execution if the
 * index is out of bounds.
 */
240
rmStrictListIdx :: !Int u:[!.a!] -> v:[!.a!], [u <= v]
241
242
243
244
245
246
247
248
rmStrictListIdx 0  (_ :! t)          = t
rmStrictListIdx n  (h :! t) | n > 0  = h :! (rmStrictListIdx (n - 1) t)
rmStrictListIdx n  _                 = abort ("Index " +++ toString n +++ " out of bounds")

/**
 * Move a path at a given index up or down the list of paths. Abort execution
 * if the index is out of bounds.
 */
249
moveStrictListIdx :: !.Int .PathDirection .[!a!] -> .[!a!]
250
251
252
moveStrictListIdx i dir xs
  | i < 0 || i > (LLength xs - 1)  = abort ("Index " +++ toString i +++ " out of bounds")
  | otherwise                      = ListToStrictList (msl dir (splitAt i (StrictListToList xs)))
253
254
255
256
257
258
259
260
261
262
  where  msl MovePathUp      ([], xs)        = xs
         msl MovePathUp      (xs, [x:ys])    = (init xs) ++ [x : (last xs) : ys]
         msl MovePathDown    ([], [x:y:ys])  = [y:x:ys]
         msl MovePathDown    (xs, [])        = xs
         msl MovePathDown    (xs, [y])       = xs ++ [y]
         msl MovePathDown    (xs, [x:y:ys])  = xs ++ [y:x:ys]
         msl MovePathTop     (xs, [])        = xs
         msl MovePathTop     (xs, [y:ys])    = [y:xs] ++ ys
         msl MovePathBottom  (xs, [])        = xs
         msl MovePathBottom  (xs, [y:ys])    = xs ++ ys ++ [y]
263
264
265
266

/**
 * Execute module-related actions
 */
267
268
doModuleAction :: .String !.String !.ModuleAction !*World -> .World
doModuleAction _ mn  (CreateModule mt) world
269
  # (dclexists, world)  = fileExists dclnm world
270
  | dclexists           = error ("Definition module '" +++ dclnm +++ "' already exists.") world
271
  # (iclexists, world)  = fileExists iclnm world
272
  | iclexists           = error ("Implementation module '" +++ iclnm +++ "' already exists.") world
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
  = writeMods mt world
  where  basenm     = dropExtension mn
         dclnm      = addExtension basenm "dcl"
         iclnm      = addExtension basenm "icl"

         mkmod mty  = mty +++ "module " +++ basenm

         writeMods ApplicationModule world = writeicl ApplicationModule world
         writeMods LibraryModule world
           # world = writeicl ApplicationModule world
           = writedcl world

         writeicl ApplicationModule world = writeicl` "implementation " world

         writeicl LibraryModule world = writeicl` "" world

         writeicl` pref world = writemod iclnm pref ("Failed to write implementation module '" +++ basenm +++ "'") world

         writedcl world = writemod dclnm "definition " ("Failed to write definition module '" +++ basenm +++ "'") world

         writemod nm pref errmsg world
           # (me, world)  = writeFile nm (mkmod pref) world
           | isError me   = error errmsg world
           = world

doModuleAction _ _   _  world                =
  help "cpm module <modulename> <action>"
    [  "Where <action> is one of the following"
301
302
303
304
    ,  "  create [application|library]  : create a new module. Optionally specify module type (default: 'library')"
    //,  "  check <projectname.prj>       : type-check module in the context of project <projectname.prj>"
    //,  "  compile <projectname.prj>     : compile module in the context of project <projectname.prj>"
    ] world
305
306
307
308

/**
 * Show an error message
 */
309
error :: !String !*World -> .World
310
311
312
313
314
315
316
317
318
319
error message world
  # stderr      = fwrites message stderr
  # (ok,world)  = fclose stderr world
  = set_return_code_world (-1) world

/**
 * Show a help message
 */
help :: !String ![String] !*World -> *World
help cmd lines world = showLines lines` world
320
  where lines` = [  "CPM: Clean Project Manager"
321
322
323
324
325
326
327
328
329
330
                 :  ""
                 :  "Usage: " +++ cmd
                 :  lines]

/**
 * Given a list of strings, concatenate them to a single string with newlines
 * in between, then print that new string to console.
 */
showLines :: ![String] !*World -> *World
showLines lines world
331
332
  # (console, world)  = stdio world
  # console           = seqSt (\s -> fwrites (s +++ "\n")) lines console
333
  = snd $ fclose console world