Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

EnzymeAD/enzyme-dev-docker

Folders and files

NameName
Last commit message
Last commit date

Latest commit

History

141 Commits

Repository files navigation

enzyme-dev-docker

Publish Docker images

Dockerfiles for setting up an environment for building and testing Enzyme.

Docker

docker pull ghcr.io/enzymead/enzyme-dev-docker/ubuntu-22-llvm-16:latest

VSCode Dev Container

local development container

Create a devcontainer.json in your project:

// available ubuntu versions: [20, 22, 24]
// available llvm versions: [11, 12, 13, 14, 15, 16, 17, 18, 19]
{
 "name": "Enzyme",
 "image": "ghcr.io/enzymead/enzyme-dev-docker/ubuntu-22-llvm-16:latest",
 "mounts": [
 "source=enzyme-bashhistory,target=/commandhistory,type=volume",
 "source=enzyme-extensions,target=/root/.vscode-server/extensions,type=volume",
 "source=enzyme-extensions-insiders,target=/root/.vscode-server-insiders/extensions,type=volume",
 "source=enzyme-build,target=${containerWorkspaceFolder}/enzyme/build,type=volume",
 ],
 "postCreateCommand": "sudo chown vscode ./enzyme/build"
}

remote development container

// available ubuntu versions: [20, 22, 24]
// available llvm versions: [11, 12, 13, 14, 15, 16, 17, 18, 19]
{
 "name": "Enzyme",
 "image": "ghcr.io/enzymead/enzyme-dev-docker/ubuntu-22-llvm-16:latest",
 "workspaceFolder": "/workspace",
 "workspaceMount": "source=enzyme-source,target=/workspace,type=volume",
 "mounts": [
 "source=enzyme-bashhistory,target=/commandhistory,type=volume",
 "source=enzyme-extensions,target=/root/.vscode-server/extensions,type=volume",
 "source=enzyme-extensions-insiders,target=/root/.vscode-server-insiders/extensions,type=volume",
 ],
 "postCreateCommand": "sudo chown vscode ./enzyme/build"
}

set the docker host in settings.json:

"docker.host":"ssh://your-remote-user@your-remote-machine-fqdn-or-ip-here"

About

🚒 Portable development environment for Enzyme

Topics

Resources

License

Stars

Watchers

Forks

Packages

Contributors 2

AltStyle γ«γ‚ˆγ£γ¦ε€‰ζ›γ•γ‚ŒγŸγƒšγƒΌγ‚Έ (->γ‚ͺγƒͺγ‚ΈγƒŠγƒ«) /