https://github.com/codewars/coq
Container image for Coq
https://github.com/codewars/coq
code-runner-image coder-runner
Last synced: 3 months ago
JSON representation
Container image for Coq
- Host: GitHub
- URL: https://github.com/codewars/coq
- Owner: codewars
- License: mit
- Created: 2022-06-16T22:14:15.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2022-08-11T07:00:42.000Z (almost 3 years ago)
- Last Synced: 2025-01-10T05:35:58.094Z (4 months ago)
- Topics: code-runner-image, coder-runner
- Language: Dockerfile
- Size: 5.86 KB
- Stars: 2
- Watchers: 6
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Coq
Container image for Coq used by CodeRunner.
## Usage
```bash
W=/workspace
# Create container
C=$(docker container create --rm -w $W ghcr.io/codewars/coq:latest sh -c "coqc Solution.v && coqc -I /opt/coq_codewars/src -Q /opt/coq_codewars/theories CW SolutionTest.v")
# Copy files from the current directory
# ./Solution.v
# ./SolutionTest.v
docker container cp ./. $C:$W
# Start
docker container start --attach $C
```
## Building
```bash
docker build -t ghcr.io/codewars/coq:latest .
```