Skip to content

Commit

Permalink
doc update
Browse files Browse the repository at this point in the history
  • Loading branch information
Dibyendu Majumdar committed Oct 28, 2017
1 parent 3638488 commit 18e1b15
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions README.rst
Original file line number Diff line number Diff line change
Expand Up @@ -384,6 +384,12 @@ When JIT compilation is enabled there are following additional constraints:
Building Ravi
=============

Quick build without JIT
-----------------------
A Makefile is supplied for a simple build without the JIT. Just run ``make`` and follow instructions. You may need to customize the Makefiles.

For building Ravi with JIT options please read on.

Build Dependencies
------------------

Expand Down

0 comments on commit 18e1b15

Please sign in to comment.