You can now build easily from the git repository.
Just enter
opam pin add oclaunch-dev git@gitlab.com:WzukW/oclaunch.git
with a recent enough version of opam.
Now, when you enter oclaunch
, it would be the git version.
You may want to remove it:
opam pin remove oclaunch-dev
Here is the manual: opam pin