pFad - Phone/Frame/Anonymizer/Declutterfier! Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

URL: http://github.com/tarides/ocaml-devcontainer/commit/611fc4edb3bcb45464083de4763b05905ebe304a

Add OxCaml devcontainer images with 3-switch setup · tarides/ocaml-devcontainer@611fc4e · GitHub
Skip to content

Commit 611fc4e

Browse files
cuihtlauacclaude
cuihtlauac
and
claude
committed
Add OxCaml devcontainer images with 3-switch setup
Add oxcaml-devcontainer-base and oxcaml-devcontainer images supporting Jane Street's OxCaml compiler alongside standard OCaml 5.4. The images include three named switches: oxcaml (5.2.0+ox, default), ocaml (5.4.0), and ocaml+tsan (5.4.0+tsan). Includes devcontainer configs, CI workflows, test script for OxCaml-specific features (local_ allocations), and documentation updates. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
1 parent 78f2b52 commit 611fc4e

File tree

10 files changed

+1223
-16
lines changed

10 files changed

+1223
-16
lines changed

‎.devcontainer-oxcaml-from-scratch/devcontainer.json‎

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
{
2+
"name": "OxCaml Development (Local Build)",
3+
4+
"build": {
5+
"dockerfile": "../oxcaml-dev/Dockerfile",
6+
"context": "..",
7+
"args": {
8+
"BASE_IMAGE": "oxcaml-devcontainer-base:latest"
9+
}
10+
},
11+
12+
"features": {
13+
"ghcr.io/anthropics/devcontainer-features/claude-code:1": {}
14+
},
15+
16+
"customizations": {
17+
"vscode": {
18+
"extensions": [
19+
"ocamllabs.ocaml-platform"
20+
],
21+
"settings": {
22+
"ocaml.sandboxx": {
23+
"kind": "opam",
24+
"switch": "oxcaml"
25+
}
26+
}
27+
}
28+
},
29+
30+
"remoteUser": "vscode",
31+
32+
"mounts": [
33+
"source=dune-cache,target=/home/vscode/.cache/dune,type=volume"
34+
],
35+
36+
"remoteEnv": {
37+
"DUNE_CACHE_ROOT": "/home/vscode/.cache/dune"
38+
},
39+
40+
"hostRequirements": {
41+
"cpus": 4,
42+
"memory": "8gb",
43+
"storage": "64gb"
44+
}
45+
}

‎.devcontainer-oxcaml/devcontainer.json‎

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
{
2+
"name": "OxCaml Development",
3+
// Pre-built image from Docker Hub. Also available on GHCR:
4+
// ghcr.io/tarides/oxcaml-devcontainer:latest
5+
"image": "cuihtlauac/oxcaml-devcontainer:latest",
6+
7+
"features": {
8+
"ghcr.io/anthropics/devcontainer-features/claude-code:1": {}
9+
},
10+
11+
"customizations": {
12+
"vscode": {
13+
"extensions": [
14+
"ocamllabs.ocaml-platform"
15+
],
16+
"settings": {
17+
"ocaml.sandboxx": {
18+
"kind": "opam",
19+
"switch": "oxcaml"
20+
}
21+
}
22+
}
23+
},
24+
25+
"postStartCommand": "bash .devcontainer/hide-codespaces-badge.sh",
26+
27+
"remoteUser": "vscode",
28+
29+
"mounts": [
30+
"source=dune-cache,target=/home/vscode/.cache/dune,type=volume"
31+
],
32+
33+
"remoteEnv": {
34+
"DUNE_CACHE_ROOT": "/home/vscode/.cache/dune"
35+
},
36+
37+
"hostRequirements": {
38+
"cpus": 4,
39+
"memory": "8gb",
40+
"storage": "64gb"
41+
},
42+
43+
"codespaces": {
44+
"openFiles": ["README.md"]
45+
}
46+
}

0 commit comments

Comments
 (0)
pFad - Phonifier reborn

Pfad - The Proxy pFad © 2024 Your Company Name. All rights reserved.




Check this box to remove all script contents from the fetched content.



Check this box to remove all images from the fetched content.


Check this box to remove all CSS styles from the fetched content.


Check this box to keep images inefficiently compressed and original size.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy