Hi,
a friend of mine is trying to install MediaWiki on their server. We have
- compiled ocaml into /home/cutebitsinfo/orbwiki/ocaml - made sure that /home/cutebitsinfo/orbwiki/ocaml/ocamlc is executable - prepended all references to ocamlc, ocamllex, ocamlyacc, and ocamlopt in /home/cutebitsinfo/orbwiki/math/Makefile with the absolute path - run "make" in /home/cutebitsinfo/orbwiki/math/
We get the following error:
make: don't know how to make util.cmx. Stop
How do I fix this?
Thanks in advance, Timwi
On Fri, Jul 22, 2005 at 10:38:33PM +0100, Timwi wrote:
a friend of mine is trying to install MediaWiki on their server. We have
- compiled ocaml into /home/cutebitsinfo/orbwiki/ocaml
- made sure that /home/cutebitsinfo/orbwiki/ocaml/ocamlc is executable
- prepended all references to ocamlc, ocamllex, ocamlyacc, and ocamlopt in /home/cutebitsinfo/orbwiki/math/Makefile with the absolute path
- run "make" in /home/cutebitsinfo/orbwiki/math/
We get the following error:
make: don't know how to make util.cmx. Stop
How do I fix this?
* Are you using GNU make ? Some stupid Unices contain broken utilities called "make" and the true make is under "gmake" (or not installed at all) * Are you in the directory with the right Makefile and util.ml ? * Can't you simply modify PATH instead of messing in the Makefile in bash it's $ export PATH=$PATH:/home/cutebitsinfo/orbwiki/ocaml/ * If you answered yes to both question, paste the Makefile and (if possible) output of strace make
Tomasz Wegrzanowski wrote:
- Are you using GNU make ? Some stupid Unices contain broken utilities called "make" and the true make is under "gmake" (or not installed at all)
Whoo! Thanks! That fixed it. :-)
Next we're getting the message that latex and dvips aren't installed, so we've e-mailed his provider to ask them to install it. Just in case they say no: Is there a way of installing them in user-space, just like ocamlc and texvc?
Thanks, Timwi
On Sun, Jul 24, 2005 at 12:34:36PM +0100, Timwi wrote:
Tomasz Wegrzanowski wrote:
- Are you using GNU make ? Some stupid Unices contain
broken utilities called "make" and the true make is under "gmake" (or not installed at all)
Whoo! Thanks! That fixed it. :-)
Next we're getting the message that latex and dvips aren't installed, so we've e-mailed his provider to ask them to install it. Just in case they say no: Is there a way of installing them in user-space, just like ocamlc and texvc?
Yes, iirc we even had them installed in user-space on old wikimedia servers. However I suspect it's a rather painful experience.
What kind of Unix is it anyway ?
wikitech-l@lists.wikimedia.org