vineeshvs
@Munksgaard I tried the .tar.gz and .zip files from http://mosml.org/ which was also giving empty bin and lib folders!!
Thanks @Munksgaard But there is no configure script to do ./configure, make, make install steps!! How do I build it? The install.txt file shows that I just have to do...
@Munksgaard 1. (S6) gives following error. But I am using Ubuntu 16.04, 64-bit. Using the files downloaded from http://www.itu.dk/people/sestoft/mosml/mos201src.tar.gz > $ make world > cd config; sh autoconf gcc >...
@Munksgaard I tried in in HOME instead of usr/local Getting the following error now > ../Makefile.inc:154: recipe for target 'Array.uo' failed > make[1]: *** [Array.uo] Aborted (core dumped) > make[1]:...
1. md5sum * in the folder /home/vineesh/mosml/src gives the following > > dc4d27b501126f0737af4b573cc8389f camlrunm > md5sum: compiler: Is a directory > md5sum: config: Is a directory > md5sum: config.w32: Is...
@peterfirefly I really appreciate your time and commitment to help me solve this issue. I will try to be more helpful so that you can help me solve this issue....
Should have Googled first. Sorry for that Googling _fatal error: gmp.h: No such file or directory_ gave the following [link](http://stackoverflow.com/questions/7351205/where-to-find-gmp-h) Issue resolved and mosml installed successfully by doing `apt-get install...
Doesn't work for me also. Using 3.18.3 version of gedit!!!
Tried the above solutions. Still the menu bar is invisible!!
@elextr Sorry for that. I posted because one of the previous posts went like this. Anyway, thanks for the suggestion. > Recently I lost the menu bar. > Can't get...