eTeak installed on a Ubuntu 15.04 virtualBox
clone the repository:
git clone [email protected]:balangs/eTeak-vmware.git
merge the zip files and then unzip ubuntu15.04.zip
cat VMware/ubuntu.7z.0* > ubuntu15.04.zip
run Ubuntu 15.04.vbox using Oracle's VirtualBox
(when the OS is up enter "reverse" if a password is requested to log on)
next change directory to $HOME/eTeak/ and try stack exec -- eTeak --gui
To test and run examples using eTeak follow the instructions given here
Thanks for choosing eTeak for your research.