[GAP Forum] Problems relating to the openmath package

[Alexander Konovalov]

Hello Sandeep,

Thank you for your interest in the OpenMath package. First, there is a new version 11.0.0
available at http://www.cs.st-andrews.ac.uk/~alexk/openmath/ which will be shortly available
also in the merged packages archive redistributed from the GAP website. This version does
not use external binaries so does not require compilation. 

Also, if you wish to use a related package SCSCP, then its matching version could be found 
at http://www.cs.st-andrews.ac.uk/~alexk/scscp/ - it will be also linked from the GAP site
soon.

For the previous version of the OpenMath package, compilation was not mandatory - sorry if 
this was unclear from the manual and lead you to a broken system. Almost all functionality 
was working without compilation, and it was only the support of the binary OpenMath
encoding that required the INRIA OpenMath library. Since binary OpenMath encoding is now
implemented entirely in GAP by Max Nicosia during his internship in summer 2010, we do not 
need to compile and use external binaries any more.

Now how to fix your GAP installation. Compiling OpenMath does nothing with the GAP kernel,
and OpenMath package is not autoloaded. Therefore my guess would be that you have to recompile
the GAP kernel which you probably did last time long time ago - you have Mac OS 10.6.8 which
corresponds to "i686-apple-darwin10.8.0-gcc", but in the GAP launching string you still have
"i686-apple-darwin9.6.0-gcc". It might be that after XCode tools update running old binaries
was no longer possible. There are errors like "/dev/null: Permission denied" which worry me,
but this is in pkg/openmath/OMCv1.3c/src/configure and not in GAP's main 'configure' - the
latter hopefully will be fine.

Please let me know if you will succeed with restoring your GAP 4.4.12 installation back to work.

Hope this helps,
Alexander



On 5 Nov 2011, at 17:36, Sandeep Murthy wrote:

> Hello.
> 
> I want to use the openmath package, but have run into some
> strange problems in trying to installing it.
> 
> I downloaded the package file, and unzipped it inside the 
> pkg subdirectly inside the gap4r4 folder.  According to the
> README file, I am supposed to compile a C file with name
> 'configure' inside the pkg/openmath/OMCv1.3c/src subdirectory
> with the command:
> 
> /bin/sh ./configure
> 
> Initially, the gcc compiler (on my MacBook running Mac OS X 10.6.8)
> did not work, this was the error message:
> 
> loading cache ./config.cache
> checking for gcc... (cached) gcc
> checking whether the C compiler (gcc  ) works... no
> configure: error: installation or configuration problem: C compiler cannot create executables.
> 
> So installed the XCode tools package from the Leopard upgrade CD
> and recompiled. This was the output:
> 
> loading cache ./config.cache
> ./configure: line 508: /dev/null: Permission denied
> checking for gcc... (cached) gcc
> checking whether the C compiler (gcc  ) works... ./configure: line 635: /dev/null: Permission denied
> yes
> checking whether the C compiler (gcc  ) is a cross-compiler... yes
> checking whether we are using GNU C... (cached) yes
> checking whether gcc accepts -g... (cached) yes
> checking how to run the C preprocessor... (cached) gcc -E
> checking for ranlib... (cached) ranlib
> checking for a BSD compatible install... (cached) /usr/bin/install -c
> checking for connect... (cached) yes
> checking for gethostbyname... (cached) yes
> checking for ANSI C header files... (cached) yes
> checking for fcntl.h... (cached) yes
> checking for strings.h... (cached) yes
> checking for sys/time.h... (cached) yes
> checking for unistd.h... (cached) yes
> checking fd_set and sys/select... yes
> checking for working const... (cached) yes
> checking for size_t... (cached) yes
> checking whether time.h and sys/time.h may both be included... (cached) yes
> checking whether struct tm is in sys/time.h or time.h... (cached) time.h
> checking for strftime... (cached) yes
> checking for vprintf... (cached) yes
> checking for gethostname... (cached) yes
> checking for select... (cached) yes
> checking for socket... (cached) yes
> checking for strdup... (cached) yes
> checking for strtod... (cached) yes
> checking for strtol... (cached) yes
> updating cache ./config.cache
> creating ./config.status
> ./configure: line 1834: /dev/null: Permission denied
> creating Makefile
> creating OMconfig.h
> ./config.status: line 266: /dev/null: Permission denied
> 
> When I tried to run GAP after this:
> 
> /Applications/gap4r4/bin/i686-apple-darwin9.6.0-gcc/gap -m 256m -l /Applications/gap4r4/
> 
> I got the following error message:
> 
> Bus error.
> 
> I cannot run GAP 4 at all now.  I would appreciate some help.
> 
> Sincerely, Sandeep.
> 
> 
> 
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum


--
Dr. Alexander Konovalov               School of Computer Science
& Centre for Interdisciplinary Research in Computational Algebra
University of St Andrews                 Tel +44/0 (1334) 461633
http://www.cs.st-andrews.ac.uk/~alexk    Fax +44/0 (1334) 463278
The University of St Andrews is a charity registered in Scotland:No.SC013532