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. (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.

Scripts/Config files

The following scripts and config files are part of this repository:

• build-vm.sh: Wrapper script that builds the complete VM image.
• download-base-vm.sh: Downloads the base eMoflon::IBeX VM image from the GitHub.
• prepare.sh: Extracts the downloaded base VM image and adds it as Vagrant box.
• 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: Installation script to install all dependencies/tools on the runner's system.
• Vagrantfile: Vagrant configuration for the VM provisioning.

License

This project is licensed under the GNU General Public License v3.0 - see the LICENSE file for more details.