Skip to content

Commit

Permalink
[Docs] Update lity download page.
Browse files Browse the repository at this point in the history
  • Loading branch information
dm4 authored and hydai committed Sep 29, 2018
1 parent 347d7a0 commit cf637d8
Showing 1 changed file with 67 additions and 3 deletions.
70 changes: 67 additions & 3 deletions docs/download.rst
Original file line number Diff line number Diff line change
@@ -1,16 +1,80 @@
How to Download Lity
====================

Download the Prebuilt libENI
----------------------------

See `Lity releases <https://github.com/CyberMiles/lity/releases>`_
for the latest release.

Dependencies
````````````

- Ubuntu 16.04: :code:`apt install libz3-dev`

Releases
````````

+---------+--------------------------------------+
| Version | Platform |
+=========+======================================+
| v1.2.2_ | | `Ubuntu 16.04 <u122_>`__ |
| | | `Static Link ELF Binary <s122_>`__ |
+---------+--------------------------------------+
| v1.1.1_ | | `Ubuntu 16.04 <u111_>`__ |
| | | `macOS <m111_>`__ |
| | | `Static Link ELF Binary <s111_>`__ |
+---------+--------------------------------------+

.. _v1.2.2: https://github.com/CyberMiles/lity/releases/tag/v1.2.2
.. _u122: https://github.com/CyberMiles/lity/releases/download/v1.2.2/lity-v1.2.2-ubuntu-xenial.zip
.. _s122: https://github.com/CyberMiles/lity/releases/download/v1.2.2/lity-v1.2.2-static

.. _v1.1.1: https://github.com/CyberMiles/lity/releases/tag/v1.1.1
.. _u111: https://github.com/CyberMiles/lity/releases/download/v1.1.1/lity-v1.1.1-ubuntu-xenial.zip
.. _m111: https://github.com/CyberMiles/lity/releases/download/v1.1.1/lity-v1.1.1-macos.zip
.. _s111: https://github.com/CyberMiles/lity/releases/download/v1.1.1/lity-v1.1.1-static

----------

Build from source
-----------------

Download Source Code
````````````````````

.. code:: bash
git clone https://github.com/CyberMiles/lity.git
cd lity
Install Dependencies
````````````

In your lity directory:

.. code:: bash
./scripts/install_deps.sh
Build with CMake
````````````````

In your lity directory:

.. code:: bash
mkdir build
cd build
sudo apt-get install cmake libblkid-dev e2fslibs-dev libboost-all-dev libaudit-dev
cmake ..
make
./lityc/lityc --help
./lityc/lityc --version
Run Tests
`````````

In your lity directory:

.. code:: bash
./build/test/soltest -- --testpath ./test --no-ipc --show_progress
./test/cmdlineTests.sh

0 comments on commit cf637d8

Please sign in to comment.