tangled
alpha
login
or
join now
dunhamsteve.bsky.social
/
newt
1
fork
atom
Newt - a dependent typed programming language
1
fork
atom
overview
issues
pulls
pipelines
try CI on tangled.org
dunhamsteve.bsky.social
3 weeks ago
2b5d12d8
ea7ba4ea
0/1
build.yml
failed
1s
+29
-4
3 changed files
expand all
collapse all
unified
split
.tangled
workflows
build.yml
Makefile
scripts
mkrevision
+16
.tangled/workflows/build.yml
···
1
1
+
when:
2
2
+
- event: ["push", "manual"]
3
3
+
branch: ["main"]
4
4
+
engine: "nixery"
5
5
+
dependencies:
6
6
+
nixpkgs:
7
7
+
- nodejs
8
8
+
- gnumake
9
9
+
- diffutils
10
10
+
- find
11
11
+
- git
12
12
+
steps:
13
13
+
- name: "build newt"
14
14
+
command: "make newt3.js"
15
15
+
- name: "test"
16
16
+
command: "make test"
+1
-4
Makefile
···
9
9
all: newt.js
10
10
11
11
12
12
-
REV=$(shell git rev-parse --short HEAD)
13
12
src/Revision.newt: .PHONY
14
14
-
echo "module Revision\nimport Prelude\ngitRevision : String\ngitRevision = \"${REV}\"" > src/Revision.newt.new
15
15
-
cmp src/Revision.newt.new src/Revision.newt || cp src/Revision.newt.new src/Revision.newt
16
16
-
rm -f src/Revision.newt.new
13
13
+
sh ./scripts/mkrevision
17
14
18
15
newt.js: ${SRCS} src/Revision.newt
19
16
$(RUNJS) bootstrap/newt.js src/Main.newt -o newt.js
+12
scripts/mkrevision
···
1
1
+
#!/bin/sh -e
2
2
+
REV=$(git rev-parse --short HEAD)
3
3
+
cat >> src/Revision.newt.new <<EOF
4
4
+
module Revision
5
5
+
6
6
+
import Prelude
7
7
+
8
8
+
gitRevision : String
9
9
+
gitRevision = "$REV"
10
10
+
EOF
11
11
+
cmp src/Revision.newt.new src/Revision.newt || cp src/Revision.newt.new src/Revision.newt
12
12
+
rm -f src/Revision.newt.new