Skip to content

balangs/eTeak-vmware

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

89 Commits
 
 
 
 

Repository files navigation

eTeak-vmware

eTeak installed on a Ubuntu 15.04 virtualBox

Instructions

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.

About

eTeak installed on a Ubuntu 15.04 virtualBox

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published