petsc

145 |                  'gettimeofday', 'getwd', 'memalign', 'mkstemp', 'popen', 'PXFGETARG', 'rand', 'getpagesize',
146 |                  'readlink', 'realpath',  'sigaction', 'signal', 'sigset', 'usleep', 'sleep', '_sleep', 'socket',
147 |                  'times', 'gethostbyname', 'uname','snprintf','_snprintf','lseek','_lseek','time','fork','stricmp',
148 |                  'strcasecmp', 'bzero', 'dlopen', 'dlsym', 'dlclose', 'dlerror','get_nprocs','sysctlbyname',
149 |                  '_set_output_format','_mkdir']
150 |     libraries1 = [(['socket', 'nsl'], 'socket'), (['fpe'], 'handle_sigfpes')]

399 |     return
400 | 
401 |   def checkDynamicLoadFlag(self):
402 |     '''Checks that dlopen() takes RTLD_XXX, and defines PETSC_HAVE_RTLD_XXX if it does'''
403 |     if self.setCompilers.dynamicLibraries:
404 |       if self.checkLink('#include <dlfcn.h>\nchar *libname;\n', 'dlopen(libname, RTLD_LAZY);\n'):
405 |         self.addDefine('HAVE_RTLD_LAZY', 1)
406 |       if self.checkLink('#include <dlfcn.h>\nchar *libname;\n', 'dlopen(libname, RTLD_NOW);\n'):
407 |         self.addDefine('HAVE_RTLD_NOW', 1)
408 |       if self.checkLink('#include <dlfcn.h>\nchar *libname;\n', 'dlopen(libname, RTLD_LOCAL);\n'):
409 |         self.addDefine('HAVE_RTLD_LOCAL', 1)
410 |       if self.checkLink('#include <dlfcn.h>\nchar *libname;\n', 'dlopen(libname, RTLD_GLOBAL);\n'):
411 |         self.addDefine('HAVE_RTLD_GLOBAL', 1)
412 |     return

334 |   def checkDynamic(self):
335 |     '''Check for the header and libraries necessary for dynamic library manipulation'''
336 |     if 'with-dynamic-loading' in self.argDB and not self.argDB['with-dynamic-loading']: return
337 |     self.check(['dl'], 'dlopen')
338 |     self.headers.check('dlfcn.h')
339 |     return
431 |   int (*init)(int, char **);
432 |   int (*checkInit)(void);
433 | 
434 |   lib = dlopen("'''+lib1Name+'''", RTLD_LAZY);
435 |   if (!lib) {
436 |     fprintf(stderr, "Could not open lib1.so: %s\\n", dlerror());
445 |     fprintf(stderr, "Could not initialize library\\n");
446 |     exit(1);
447 |   }
448 |   lib = dlopen("'''+lib2Name+'''", RTLD_LAZY);
449 |   if (!lib) {
450 |     fprintf(stderr, "Could not open lib2.so: %s\\n", dlerror());

1503 |       return
1504 |     self.logWrite(self.headers.restoreLog())
1505 |     self.libraries.saveLog()
1506 |     if not self.libraries.add('dl', ['dlopen', 'dlsym', 'dlclose']):
1507 |       if not self.libraries.check('', ['dlopen', 'dlsym', 'dlclose']):
1508 |         self.logWrite(self.libraries.restoreLog())
1509 |         self.logPrint('Dynamic linking disabled since functions dlopen(), dlsym(), and dlclose() were not found')
1510 |         return
1511 |     self.logWrite(self.libraries.restoreLog())
1520 |         if self.checkLink(includes = '#include <stdio.h>\nint '+testMethod+'(void) {printf("test");return 0;}\n', codeBegin = '', codeEnd = '', cleanup = 0, shared = 'dynamic'):
1521 |           oldLib  = self.linkerObj
1522 |           code = '''
1523 | void *handle = dlopen("%s", 0);
1524 | int (*foo)(void) = (int (*)(void)) dlsym(handle, "foo");
1525 |