README

jhupllib

This repository contains a standard library of sorts for JHU PL Lab projects (although it is by no means limited to those projects). The library contains the sort of general-purpose miscellany that we wish to use in multiple projects but which do not have sufficient mass to warrant maintenance as independent libraries.

Installing

jhupllib can be installed viaOPAM.

Building

This project usesDune as a build tool. After cloning this repository, it should be sufficient to perform the following steps:

1. Install dependencies.

`opam install jbuilder batteries monadlib ocaml-monadic ppx_deriving yojson ppx_deriving_yojson`

1. Build the project.

`make && make test`

1. yojson>= "1.7.0"
2. ppx_deriving_yojson
3. ppx_deriving>= "2.0"
4. ocaml-monadic>= "0.4.1"
5. dune>= "1.0"
6. batteries>= "3.0.0"
7. base-threads
8. ocaml>= "4.08.0"

1. ounitwith-test

1. pds-reachability

None