make world -j16 make promote-menhir make coreall opt-core -j16 ./boot/ocamlrun ./ocamlopt -I ./stdlib -S -O2 -g my/rbtree.ml
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
make world -j16 make promote-menhir make coreall opt-core -j16 ./boot/ocamlrun ./ocamlopt -I ./stdlib -S -O2 -g my/rbtree.ml