Next: Missing XSB Object Files
Up: Possible Installation Problems
Previous: Possible Installation Problems
  Contents
  Index
When making the optimized version of the emulator, the temporary space
available to the C compiler for intermediate files is sometimes not
sufficient. For example on one of our SPARCstations that had very
little /tmp space the "-O4" option could not be used for
the compilation of files emuloop.c, and tries.c, without
changing the default tmp directory and increasing the swap
space. Depending on your C compiler, the amount and nature of /tmp and swap space of your machine you may or may not encounter
problems. If you are using the SUN C compiler, and have disk space in
one of your directories, say dir, add the following option to
the entries of any files that cannot be compiled:
-temp=dir
If you are using the GNU C compiler, consult its manual pages
to find out how you can change the default tmp directory or how you
can use pipes to avoid the use of temporary space during compiling.
Usually changing the default directory can be done by declaring/modifying
the TMPDIR environment variable as follows:
setenv TMPDIR dir
Next: Missing XSB Object Files
Up: Possible Installation Problems
Previous: Possible Installation Problems
  Contents
  Index
Luis Fernando P. de Castro
2003-06-27