~ubuntu-branches/ubuntu/jaunty/menhir/jaunty

« back to all changes in this revision

Viewing changes to INSTALL

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

INSTALL

 

1

REQUIREMENTS

 

2

 

 

3

You need ocaml 3.09 or later and GNU make.

 

4

 

 

5

HOW TO INSTALL

 

6

 

 

7

Run

 

8

 

 

9

  make PREFIX=/usr/local all install

 

10

 

 

11

The value of the PREFIX variable can be changed to control where

 

12

the software, the standard library, and the documentation should

 

13

be stored. These files are copied to the following places:

 

14

 

 

15

  $PREFIX/bin/

 

16

  $PREFIX/share/menhir/

 

17

  $PREFIX/doc/menhir/

 

18

 

 

19

Documentation includes a reference manual and a number of demos.

 

20

 

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1