Skip to content
trans edited this page Jun 8, 2011 · 3 revisions

Rubygems

The easiest way to get Q.E.D. is via RubyGems.

    $ sudo gem install qed

Tarball

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

Requirements

QED requires the following libraries:

  • ae – assertions framework
  • ansi – ansi color codes
  • facets – common core extensions
Clone this wiki locally