GitHub - malo-denielou/ocaml-scribble: Ocaml-scribble is an implementation in Ocaml of the Scribble tools suite.

malo-denielou / ocaml-scribble Public

Notifications You must be signed in to change notification settings
Fork 1
Star 5

Ocaml-scribble is an implementation in Ocaml of the Scribble tools suite.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
ex/tests		ex/tests
src		src
test		test
AUTHORS		AUTHORS
CHANGELOG		CHANGELOG
LICENSE		LICENSE
Makefile		Makefile
NEWS		NEWS
README		README
TODO		TODO
VERSION		VERSION

Repository files navigation

ocaml-scribble
==============

Ocaml-scribble is an implementation in Ocaml of the Scribble tools suite.
See www.scribble.org for more information about Scribble.

- Requirements:

  + make
  + ocaml version > 3.10


- Compilation: 

  make

- Installation:
  
  make install

  The installation dir is /usr/local/bin by default. Use the BINDIR variable to
  specify the installation directory:

  make install BINDIR=~/oscribble/
  

- Usage:

  + oscribble --help

  + oscribble --parse file.spr

  + oscribble --check file.spr

  + oscribble --project role1 file.spr

 
- Layout:

  + A few examples are in ex/
  + Source files are in src/
  + Test cases are in test/