2024-06-01 22:54:26 +00:00
|
|
|
# Hare Playground
|
|
|
|
|
|
|
|
Interactive web playground for [Hare](https://harelang.org/).
|
|
|
|
|
|
|
|
## [Hare Playground Online](https://hare-exec.fly.dev/)
|
|
|
|
|
|
|
|
## Develop
|
|
|
|
|
|
|
|
```
|
|
|
|
nix develop
|
|
|
|
make
|
|
|
|
```
|
|
|
|
|
|
|
|
## Build
|
|
|
|
|
|
|
|
```
|
|
|
|
make
|
|
|
|
```
|
|
|
|
|
|
|
|
## Build Docker container
|
|
|
|
|
|
|
|
```
|
|
|
|
docker build -t hareplayground
|
|
|
|
```
|
|
|
|
|
|
|
|
## Run locally
|
|
|
|
|
|
|
|
```
|
|
|
|
./httpd -b ./frontend
|
|
|
|
```
|
|
|
|
|
|
|
|
## Run Docker container
|
|
|
|
|
|
|
|
```
|
|
|
|
docker run --privileged --rm -p 8080:8080 --name hareplayground hareplayground
|
|
|
|
```
|
|
|
|
|
|
|
|
## Test
|
|
|
|
|
|
|
|
Run the container locally.
|
|
|
|
Then:
|
|
|
|
|
|
|
|
```
|
|
|
|
make test
|
|
|
|
```
|
|
|
|
|
2024-06-03 18:59:40 +00:00
|
|
|
## Deploy
|
|
|
|
|
|
|
|
```
|
|
|
|
fly deploy
|
|
|
|
```
|
|
|
|
|
2024-06-01 22:54:26 +00:00
|
|
|
## License
|
|
|
|
|
2024-06-03 18:59:40 +00:00
|
|
|
[MPL](./COPYING).
|