Can't make prob-repl in Vagrant

[cscherrer]

make fails with this error:

vagrant@debian-jessie:/vagrant/qif/prob-repl$ make
ocamlfind ocamlc -linkpkg -package extlib -package glMLite -package glMLite.glut -package glMLite.glu -package sdl2.ba -package sdl2 -package sdl2_img -package netmulticore -package core_extended -package lambda-term -package unix -package gmp -I /usr/local/lib/ppl ppl_ocaml.cma -thread -g   -c util.ml
ocamlfind: Package `extlib' not found
Makefile:76: recipe for target 'util.cmo' failed
make: *** [util.cmo] Error 2

opam install extlib gets us one step closer, but make still fails, now asking for glMLite.

opam install glMLite then fails, giving this:

vagrant@debian-jessie:/vagrant/qif/prob-repl$ opam install glMLite
The following actions will be performed:
 - install   glMLite.0.03.51
=== 1 to install ===

=-=- Synchronizing package archives -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default] Downloading https://opam.ocaml.org/archives/glMLite.0.03.51+opam.tar.gz

=-=- Installing packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Building glMLite.0.03.51:
  make
  make install PREFIX=/home/vagrant/.opam/4.02.0/lib/glMLite
[ERROR] The compilation of glMLite.0.03.51 failed.
Removing glMLite.0.03.51.
  ocamlfind remove glMLite

#=== ERROR while installing glMLite.0.03.51 ===================================#
# opam-version 1.2.0
# os           linux
# command      make
# path         /home/vagrant/.opam/4.02.0/build/glMLite.0.03.51
# compiler     4.02.0
# exit-code    2
# env-file     /home/vagrant/.opam/4.02.0/build/glMLite.0.03.51/glMLite-1883-6d07ae.env
# stdout-file  /home/vagrant/.opam/4.02.0/build/glMLite.0.03.51/glMLite-1883-6d07ae.out
# stderr-file  /home/vagrant/.opam/4.02.0/build/glMLite.0.03.51/glMLite-1883-6d07ae.err
### stdout ###
# ...[truncated]
# ocamlc.opt -c -g -o xmlm.cmi xmlm.mli
# ocamlopt.opt -g -c -g -o xmlm.cmx xmlm.ml
# ocamlopt.opt -g -a -g -o xmlm.cmxa xmlm.cmx
# ocamlopt.opt -g \
#       -I . xmlm.cmxa  \
#       enums_xmlm.ml  -o enums.exe
# ocamlc.opt -c configure.c
# Makefile.enums:37: recipe for target 'configure.o' failed
# make[1]: Leaving directory '/home/vagrant/.opam/4.02.0/build/glMLite.0.03.51/SRC'
# Makefile:32: recipe for target 'all' failed
### stderr ###
# ...[truncated]
# File "xmlm.ml", line 574, characters 18-20:
# Warning 3: deprecated: operator (or); you should use (||) instead
# File "xmlm.ml", line 554, characters 22-24:
# Warning 3: deprecated: operator (or); you should use (||) instead
# configure.c:6:21: fatal error: GL/gl.h: No such file or directory
#    #include <GL/gl.h>
#                      ^
# compilation terminated.
# make[1]: *** [configure.o] Error 2
# make: *** [all] Error 2

[piotrm0]

prob-repl is a visualization which requires opengl, which seem to be missing on that computer.

[jmct]

@cscherrer, is this issue okay to close? I think you're not trying to get this working anymore right?

[cscherrer]

I'm not looking at prob-repl, but I would think the issue should be open until it's confirmed to work

[cscherrer]

Oh wait, I guess this was just a missing library problem, which is probably specific to this case. Yes, let's close it. Thanks