Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/emoflon/emoflon-ibex-icgt-2023-artifact-vm
Scripts/resources to built the eMoflon::IBeX VM for the ICGT 2023 artifact VM.
https://github.com/emoflon/emoflon-ibex-icgt-2023-artifact-vm
emoflon icgt icgt-2023 provisioning vagrant virtualbox vm
Last synced: about 1 month ago
JSON representation
Scripts/resources to built the eMoflon::IBeX VM for the ICGT 2023 artifact VM.
- Host: GitHub
- URL: https://github.com/emoflon/emoflon-ibex-icgt-2023-artifact-vm
- Owner: eMoflon
- License: gpl-3.0
- Created: 2023-03-08T12:00:45.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2023-12-14T12:14:30.000Z (about 1 year ago)
- Last Synced: 2024-05-18T07:42:01.355Z (7 months ago)
- Topics: emoflon, icgt, icgt-2023, provisioning, vagrant, virtualbox, vm
- Language: Shell
- Homepage:
- Size: 45.7 MB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# eMoflon::IBeX VM - ICGT 2023 Artifact Evaluation
This repository holds the scripts/resources to build the eMoflon VM for the ICGT23 Artefact Evaluation for:
**"Advanced Consistency Restoration with Higher-Order Short-Cut Rules"**
by Lars Fritsche, Jens Kosiol, Adrian Möller and Andy Schürr
## Setup
You have to use a GNU/Linux OS, for example [Debian 11](https://www.debian.org/releases/bullseye/). (Running this on macOS and Windows might be possible, but it isn't tested.)
- Clone this repository.
- Install all dependencies/tools (`wget`, `unzip`, `tar`, `sed`, `virtualbox-7.0`, and `vagrant`) by running the following command:
```
$ ./setup-runner.sh
```
- Build the VM image by running:
```
$ ./build-vm.sh
```
- The image will be packed/exported as `emoflon.ova` in the repository.
Please notice:
- The system you use to provision the VM image needs at least a few GBs of free RAM. Use >8GB RAM and it should be fine.
- If you use a VM itself to provision the VM image make sure that it supports nested virtualization.
- If you want to update, for example, the PDF file or the workspace projects, update the files placed in [`resources`](./resources/).
## Scripts/Config files
The following scripts and config files are part of this repository:
- [`build-vm.sh`](./build-vm.sh): Wrapper script that builds the complete VM image.
- [`download-base-vm.sh`](./download-base-vm.sh): Downloads the [base eMoflon::IBeX VM image](https://github.com/eMoflon/emoflon-ibex-vm/releases) from the GitHub.
- [`prepare.sh`](./prepare.sh): Extracts the downloaded base VM image and adds it as Vagrant box.
- [`prov.sh`](./prov.sh): Provisioning script that will be used to configure the VM image, e.g., to add projects to the default Eclipse workspace.
- [`setup-runner.sh`](./setup-runner.sh): Installation script to install all dependencies/tools on the runner's system.
- [`Vagrantfile`](./Vagrantfile): Vagrant configuration for the VM provisioning.
## License
This project is licensed under the GNU General Public License v3.0 - see the [LICENSE](LICENSE) file for more details.