-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #1 from tez-capital/Qena
Qena
- Loading branch information
Showing
17,568 changed files
with
4,577,552 additions
and
858,866 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
[env] | ||
CC_wasm32_unknown_unknown="clang" | ||
CC_riscv64gc_unknown_hermit="clang" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
# Use an official OCaml image based on Alpine Linux | ||
FROM docker.io/ocaml/opam:alpine-3.20-ocaml-4.14 | ||
|
||
# Set up working directory | ||
WORKDIR /workspace | ||
|
||
# Update Alpine packages and install required dependencies | ||
RUN sudo apk update && sudo apk add --no-cache \ | ||
build-base \ | ||
m4 \ | ||
dune \ | ||
gmp-dev \ | ||
opam \ | ||
bash \ | ||
git \ | ||
git-lfs | ||
|
||
# Initialize opam and install OCaml dependencies | ||
RUN opam init --disable-sandboxing --auto-setup && \ | ||
opam install dune | ||
|
||
# Copy the project into the container | ||
COPY . . | ||
|
||
CMD ["bash"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
{ | ||
"name": "OCaml Dune Dev Container", | ||
"build": { | ||
"dockerfile": "./Dockerfile" // Update the path to point to the new location of the Dockerfile | ||
}, | ||
"workspaceFolder": "/workspace", | ||
"forwardPorts": [ | ||
8080 | ||
], | ||
"mounts": [ | ||
"source=${localWorkspaceFolder},target=/workspace,type=bind" | ||
], | ||
"remoteUser": "root", | ||
"runArgs": [ | ||
"--privileged" | ||
], | ||
"customizations": { | ||
"vscode": { | ||
"settings": { | ||
"terminal.integrated.shell.linux": "/bin/bash" | ||
}, | ||
"extensions": [ | ||
"ocamllabs.ocaml-platform" | ||
] | ||
} | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.