next up previous contents index
Next: Missing XSB Object Files Up: Possible Installation Problems Previous: Possible Installation Problems   Contents   Index

Lack of Space for Optimized Compilation of C Code

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 up previous contents index
Next: Missing XSB Object Files Up: Possible Installation Problems Previous: Possible Installation Problems   Contents   Index
Luis Fernando P. de Castro 2003-06-27