tangled
alpha
login
or
join now
futur.blue
/
pegasus
56
fork
atom
objective categorical abstract machine language personal data server
56
fork
atom
overview
issues
2
pulls
pipelines
Docker setup
futur.blue
6 months ago
f84bfcfe
2590eff0
verified
This commit was signed with the committer's
known signature
.
futur.blue
SSH Key Fingerprint:
SHA256:QHGqHWNpqYyw9bt8KmPuJIyeZX9SZewBZ0PR1COtKQ0=
+39
4 changed files
expand all
collapse all
unified
split
.dockerignore
.gitignore
Dockerfile
docker-compose.yaml
+14
.dockerignore
···
1
1
+
.idea/
2
2
+
.zed/
3
3
+
.vscode/
4
4
+
5
5
+
.git/
6
6
+
.gitignore
7
7
+
8
8
+
_opam/
9
9
+
_build/
10
10
+
*.lock
11
11
+
*.locks
12
12
+
13
13
+
Dockerfile
14
14
+
docker-compose.yml
+1
.gitignore
···
3
3
_boot
4
4
_test_boot
5
5
dune.lock
6
6
+
dev-tools.locks
6
7
7
8
.DS_Store
8
9
.vscode/
+18
Dockerfile
···
1
1
+
FROM ocaml/opam:debian-12-ocaml-5.2 AS build
2
2
+
3
3
+
RUN sudo apt-get install -y cmake git libev-dev libffi-dev libgmp-dev libssl-dev libsqlite3-dev pkg-config
4
4
+
5
5
+
WORKDIR /home/opam
6
6
+
7
7
+
ADD . .
8
8
+
RUN opam install . --deps-only --with-test --unlock-base
9
9
+
RUN opam exec -- dune build
10
10
+
11
11
+
12
12
+
FROM ocaml/opam:debian-12-ocaml-5.2 AS run
13
13
+
14
14
+
RUN sudo apt-get install -y libev-dev
15
15
+
16
16
+
COPY --from=build /home/opam/_build/default/bin/main.exe /bin/pegasus
17
17
+
18
18
+
ENTRYPOINT ["/bin/pegasus"]
+6
docker-compose.yaml
···
1
1
+
services:
2
2
+
pegasus:
3
3
+
build: .
4
4
+
ports:
5
5
+
- "8008:8008"
6
6
+
restart: always