Closed vbmithr closed 11 years ago
This will allow to skip the opam install phase if packages installed by hand.
Already implemented as a --no-install configure option.
This will allow to skip the opam install phase if packages installed by hand.