Super User is a question and answer site for computer enthusiasts and power users. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm fairly new to Linux and compiling software from source. I am unsure what the output is telling me and where to look to find the solution to my problem.

I'm trying to install Moscow ML:

As instructed in the documentation, I navigate to the directory where I have extracted it and type

make world

The full output is here:

The last part of the output is:

gcc -O -DNDEBUG -o mosmlyac closure.o error.o lalr.o lr0.o main.o mkpar.o output.o reader.o skeleton.o symtab.o verbose.o warshall.o
strip mosmlyac
make[1]: Leaving directory `/home/user/Downloads/ml/mosml/src/mosmlyac'
cd mosmllib; make all
make[1]: Entering directory `/home/user/Downloads/ml/mosml/src/mosmllib'
/lib/cpp -P -traditional -Dunix -Umsdos Array.mlp > Array.sml
../camlrunm ../mosmlcmp -stdlib ../mosmllib -P none -imptypes Vector.sig
../camlrunm ../mosmlcmp -stdlib ../mosmllib -P none -imptypes Array.sig
../camlrunm ../mosmlcmp -stdlib ../mosmllib -P none -imptypes List.sig
../camlrunm ../mosmlcmp -stdlib ../mosmllib -P none -imptypes Array.sml
*** glibc detected *** ../camlrunm: free(): invalid pointer: 0x00000000012e6000 ***
======= Backtrace: =========

followed by a memory map and

make[1]: *** [Array.uo] Aborted (core dumped)
make[1]: Leaving directory `/home/matthew/Downloads/ml/mosml/src/mosmllib'
make: *** [world] Error 2

Any ideas on what I can do to make this work? Thanks!

share|improve this question
up vote 0 down vote accepted

I just ran into this same issue. There is a file named gc_ctrl.c.1 in the runtime directory. Make a backup of the existing gc_ctrl.c file in that directory and then copy this one over it. After doing that my build worked. There's a note about this on the MosML site, but they link to the wrong replacement file.

# From src/ directory

# Make backup and move new file into place
cp runtime/gc_ctrl.c runtime/gc_ctrl.c.bak
cp runtime/gc_ctrl.c.1 runtime/gc_ctrl.c

# Cleanup previous compiled files and rebuild.
make clean 
make world

# If previous was successful and you want to install it
sudo make install 
share|improve this answer
Thanks! That fixed it! – Froskoy Jun 19 '13 at 10:27

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .