https://github.com/yutopp/docker-k-framework
https://github.com/yutopp/docker-k-framework
Last synced: 23 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/yutopp/docker-k-framework
- Owner: yutopp
- Created: 2015-12-04T03:13:50.000Z (about 10 years ago)
- Default Branch: master
- Last Pushed: 2015-12-04T03:14:11.000Z (about 10 years ago)
- Last Synced: 2025-01-20T10:49:04.377Z (12 months ago)
- Language: Shell
- Size: 1000 Bytes
- Stars: 4
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Docker images for K
*Non-official* docker images for [K-framework](https://github.com/kframework/k)
## Images
[Docker Hub - yutopp/k-framework-image](https://hub.docker.com/r/yutopp/k-framework-image/)
### 3.6
```
docker pull yutopp/k-framework-image:3.6
```
## Usage
Ex.
```
docker run -v $(pwd):/docker -it yutopp/k-framework-image:3.6 kompile sample/bun.k
```
```
docker run -v $(pwd):/docker -it yutopp/k-framework-image:3.6 krun --directory sample sample/input0.bun
```