How to install coq-gym projects using opam

[brando90]

I wanted to use opam to install the coq-gym projects because the python interface I use PyCoq depends on opam.

Is it possible to install all the coq-gym projects using opam? If yes how? Any help would be useful!

I did find the original make file for coq-gym which seems to call make inside every coq-proj dir: https://github.com/princeton-vl/CoqGym/blob/master/coq_projects/makefile

---

gitissue for my fork of pycoq discussing solutions to this issue: brando90/pycoq#4