modus-playground/index.html at main · msv-lab/modus-playground · GitHub

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
<!DOCTYPE html>
<html lang="en">

<head>
  <meta charset="UTF-8">
  <meta http-equiv="X-UA-Compatible" content="IE=edge">
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
  <title>Modus Playground</title>
  <link rel="stylesheet" href="src/page.css">
</head>

<body>
  <div class="input-area">
    <div style="display: flex; flex-wrap: nowrap; flex-direction: row; align-items: baseline;">
      Goal:
      <div style="margin-left: auto;"></div>
      <div class="share-msg" style="margin-right: 5px;"></div>
      <button class="share-btn">Share</button>
    </div>
    <input class="modus-goal" type="text" value="app(&quot;alpine&quot;, X, &quot;release&quot;)">
    <div class="progress-bar">
      <div class="fill"></div>
    </div>
    Modusfile:
    <textarea class="modusfile-input">app(base, "dev", target) :-
  dev_image(base),
  copy(".", "/app/"),
  make(target).

dev_image("alpine") :-
  from("alpine"),
  run("apk add gcc make").
dev_image("bullseye") :- from("gcc:bullseye").

app(base, "prod", "release") :-
  prod_image(base),
  app(base, "dev", "release")::copy("/app", "/app").

prod_image("alpine") :- from("alpine").
prod_image("bullseye") :- from("debian:bullseye-slim").

make("debug") :- run("cd /app/ && make debug").
make("release") :- run("cd /app/ && make").</textarea>
  </div>
  <div class="divider"></div>
  <div class="result-area">
    <pre class="result"></pre>
  </div>
  <script type="module" src="src/page.js"></script>
</body>

</html>