https://github.com/ubaldop/vagrant-agda
Vagrant script for Agda virtual machine
https://github.com/ubaldop/vagrant-agda
agda arch-linux haskell vagrant
Last synced: 3 months ago
JSON representation
Vagrant script for Agda virtual machine
- Host: GitHub
- URL: https://github.com/ubaldop/vagrant-agda
- Owner: ubaldop
- License: mit
- Created: 2018-04-08T10:51:45.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2018-04-12T07:14:03.000Z (about 7 years ago)
- Last Synced: 2025-01-08T17:09:27.492Z (4 months ago)
- Topics: agda, arch-linux, haskell, vagrant
- Language: Shell
- Size: 8.79 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Agda VM with ArchLinux
This repository contains a Vagrant setup for an ArchLinux virtual machine containing Agda.
It contains the following files:
- `Vagrantfile` - it is the Vagrant VM setup
- `provision.sh` - it is the shell script installing all the required packages
- `src` - it is a local folder mounted as Vagrant Synced Folder. It contains a helloworld example written in Agda.
- `agda.md` - it is the help of the agda command
### Commands to launch the virtual machine
```bash
vagrant up
```
### Commands to build Agda Hello World
Once launched, you could test the proper installation by executing the following:
```bash
echo "Logging to the VM"
vagrant ssh
echo "Navigating to the folder containing the example"
cd /vagrant
echo "Compile the Hello World example"
stack exec agda --package ieee754 --package text
stack exec -- agda -i /usr/share/agda/lib/ -i . -c helloworld.agda
echo "Launching the compiled application"
./helloworld
```