GODI installation problem

Question

I am trying to install GODI on Linux (Ubuntu). This is a library management tool for ocaml. I actually installed this before --twice, but some time ago-- no problem --that I can remember--, but this time I just can't understand what I'm missing.

$ ./bootstrap --prefix /home/nlucaroni/godi $ ./bootstrap_stage2 .: 1: godi_confdir: not found Error: Command fails with code 2: /bin/sh Failure! 

I added the appropriate directories in the path, and they show with a quick echo $path and godi_confdir reported as being:

  /home/nlucaroni/godi/etc 

(... and there is a directory with the real godi.conf file). So, I cannot understand why ./bootstrap_stage2 does not work.

Answer 1

Hey Chris, I just figured it out. Stupid mistake.

It was just a resolution problem by running everything from /tmp/ perfectly - after including GODI_BASEPKG_PCRE in godi.conf . I ran it from my home directory, you forget about simple things like this at 3 a.m.

-

I actually have a different problem. conf-opengl-6 installation:

GODI cannot find the GL/gl.h , although I can - you can see that this is Checking the suggestion .

 > ===> Configuring for conf-opengl-6 > Checking the suggestion > Include=/usr/include/GL/gl.h Library=/<GLU+GL> > Checking /usr: > Include=/usr/include/GL/gl.h Library=/usr/lib/<GLU+GL> > Checking /usr: > Include=/usr/local/include/GL/gl.h Library=/usr/local/lib/<GLU+GL> > Checking /usr/local: > Include=/usr/local/include/GL/gl.h Library=/usr/local/lib/<GLU+GL> > Exception: Failure "Cannot find library". > Error: Exec error: File /home/nlucaroni/godi/build/conf/conf-opengl/./../../mk/bsd.pkg.mk, line 1022: Command returned with non-zero exit code > Error: Exec error: File /home/nlucaroni/godi/build/conf/conf-opengl/./../../mk/bsd.pkg.mk, line 1375: Command returned with non-zero exit code ### Error: Command fails with code 1: godi_console 

edit - Okay, that’s fixed too ... it just needs GLU, it’s strange, because in the test configuration it’s said that everything is in order.

Answer 2

What is the output of which godi_confdir ?

PS I remember that I had the same problem, but I don’t remember exactly how I fixed it.