https://github.com/yutopp/docker-k-framework

https://github.com/yutopp/docker-k-framework

Last synced: about 6 hours ago
JSON representation

• Host: GitHub
• URL: https://github.com/yutopp/docker-k-framework
• Owner: yutopp
• Created: 2015-12-04T03:13:50.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2015-12-04T03:14:11.000Z (about 9 years ago)
• Last Synced: 2024-05-21T12:36:26.514Z (8 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

```