-
Notifications
You must be signed in to change notification settings - Fork 5
Installation
trans edited this page Sep 13, 2010
·
3 revisions
The easiest way to get Q.E.D. is via RubyGems.
$ sudo gem install qed
To install manually, you will need to have Ruby Setup installed. Then download the latest Q.E.D. tarball, unpack it and run sudo setup.rb
from within the package folder. For example:
$ tar -xvzf qed-0.5.0.tar.gz $ cd qed-0.5.0 $ sudo setup.rb
QED requires on the following libraries:
As of 2.0 it also needs: