tchajed/ivy-docker
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
20 commits 1 branch 0 tags 42 KiB
  • Shell 87.3%
  • Dockerfile 12.7%
Find a file
Exact
Tej Chajed b1ef7fc847
 Update to Ubuntu 22.04
2024-01-11 10:43:47 -06:00
.github/workflows Add some basic CI for shellcheck 2023-03-22 11:39:39 -07:00
Dockerfile Update to Ubuntu 22.04 2024-01-11 10:43:47 -06:00
install.sh Update to Ubuntu 22.04 2024-01-11 10:43:47 -06:00
ivy_check Add some documentation 2023-03-22 11:33:56 -07:00
ivy_show Add support for ivy_show 2023-03-21 17:49:56 -07:00
README.md Update instructions to include dual arch build 2023-12-27 07:25:50 -06:00
set-locale.sh Speed up the build 2022-12-06 11:48:39 -08:00
uninstall.sh Combine install/uninstall to reduce image size 2023-12-27 08:35:08 -06:00

README.md

Ivy in docker

Usage

Get this from Docker Hub: docker pull tchajed/ivy.

Then just use ./ivy_check as usual. You might want to add this repo to your $PATH.

./ivy_check [ivy options] path_to_file.ivy

You can also use ./ivy_show in the same way.

Development

Create image (takes a while, needs to compile some large C++ dependencies):

docker buildx build -t tchajed/ivy:latest --platform linux/amd64,linux/arm64 .
docker push tchajed/ivy