Skip to content

Commit

Permalink
updated installation procedure
Browse files Browse the repository at this point in the history
  • Loading branch information
@ivg
ivg committed Nov 18, 2015
1 parent 4943014 commit 16a7d08
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions INSTALL.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@ Installing
==========

1. Uncompress the source archive and go to the root of the package
2. Run 'oasis setup'
2. Run 'ocaml setup.ml -configure'
3. Run 'ocaml setup.ml -build'
4. Run 'ocaml setup.ml -install'
Expand Down

0 comments on commit 16a7d08

Please sign in to comment.