Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tag: v1.1.0
Fetching contributors…

Cannot retrieve contributors at this time

18 lines (17 sloc) 0.616 kb
default all build:
@echo The build system is using oasis, here is a quick walkthrough:
@echo 1. If you got the sources from the repository you need to setup oasis:
@echo $$ oasis setup
@echo 2. Configure
@echo $$ ocaml setup.ml -configure
@echo 3. Build
@echo $$ ocaml setup.ml -build
@echo For more commands and options:
@echo $$ ocaml setup.ml -help
checkidentities:
./tests/check-identities `find tests -path '*.t/*' \( -name stdin -o -name '*.ml' \)`
regtest:
PPLEX=$(PWD)/_build/Pplex.byte cmdcheck tests/*.t
test: checkidentities regtest
bigtest:
./tests/check-identities local/1m.ml local/huge.ml
Jump to Line
Something went wrong with that request. Please try again.