You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
To make for the first time, there are two ways.
1) If you need to be root to install:
$ make all-sudo
You will be asked for the root password, as installation is part of
the make process. This because some of the packages need, in order to
be built, for previous packages to be already installed.
2) If you can install without being root, as when you are using godi:
$ make all
To make subsequent times:
$ make clean
$ make uninstall[-sudo]
$ make all[-sudo]
The "make uninstall[-sudo]" is necessary!
You can find in the various subdirectories Makefiles that are
perfectly functional, should you wish to build the packages and
install them one by one in the traditional way.
Ocaml utility libraries, including Vec, a functional implementation of extensible arrays.