├── .gitignore ├── .merlin ├── .ocp-indent ├── .travis.yml ├── COMPILING.md ├── LICENSE ├── Makefile ├── README.md ├── _tags ├── docker ├── docker-entrypoint.sh ├── opam.switch ├── run.sh └── ubuntu-18.04 │ └── Dockerfile ├── install_rocksdb.sh ├── myocamlbuild.ml ├── opam ├── rocks.ml ├── rocks.mli ├── rocks_common.ml ├── rocks_intf.ml ├── rocks_options.ml ├── rocks_test.ml ├── travis.sh └── which_g++.sh /.gitignore: -------------------------------------------------------------------------------- 1 | /_build/ 2 | /aname/ 3 | /*.native 4 | -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- 1 | PRJ rocksdb 2 | 3 | S . 4 | B _build 5 | 6 | PKG ctypes 7 | -------------------------------------------------------------------------------- /.ocp-indent: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/.ocp-indent -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/.travis.yml -------------------------------------------------------------------------------- /COMPILING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/COMPILING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/README.md -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/_tags -------------------------------------------------------------------------------- /docker/docker-entrypoint.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/docker/docker-entrypoint.sh -------------------------------------------------------------------------------- /docker/opam.switch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/docker/opam.switch -------------------------------------------------------------------------------- /docker/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/docker/run.sh -------------------------------------------------------------------------------- /docker/ubuntu-18.04/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/docker/ubuntu-18.04/Dockerfile -------------------------------------------------------------------------------- /install_rocksdb.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/install_rocksdb.sh -------------------------------------------------------------------------------- /myocamlbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/myocamlbuild.ml -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/opam -------------------------------------------------------------------------------- /rocks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/rocks.ml -------------------------------------------------------------------------------- /rocks.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/rocks.mli -------------------------------------------------------------------------------- /rocks_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/rocks_common.ml -------------------------------------------------------------------------------- /rocks_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/rocks_intf.ml -------------------------------------------------------------------------------- /rocks_options.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/rocks_options.ml -------------------------------------------------------------------------------- /rocks_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/rocks_test.ml -------------------------------------------------------------------------------- /travis.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/travis.sh -------------------------------------------------------------------------------- /which_g++.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/domsj/orocksdb/HEAD/which_g++.sh --------------------------------------------------------------------------------