xref: /petsc/config/gmakegen.py (revision 7b8851e66534b869cb16e36908c212d6b9bd3f94)
10ee81e68SLisandro Dalcin#!/usr/bin/env python
20ee81e68SLisandro Dalcin
30ee81e68SLisandro Dalcinimport os
40ee81e68SLisandro Dalcinfrom distutils.sysconfig import parse_makefile
50ee81e68SLisandro Dalcinimport sys
60ee81e68SLisandro Dalcinimport logging
70ee81e68SLisandro Dalcinsys.path.insert(0, os.path.abspath(os.path.dirname(__file__)))
80ee81e68SLisandro Dalcinfrom cmakegen import Mistakes, stripsplit, AUTODIRS, SKIPDIRS
9*7b8851e6SJed Brownfrom collections import defaultdict
100ee81e68SLisandro Dalcin
110ee81e68SLisandro DalcinPKGS = 'sys vec mat dm ksp snes ts tao'.split()
1229921a8fSScott KrugerLANGS = dict(c='C', cxx='CXX', cu='CU', F='F', F90='F90')
130ee81e68SLisandro Dalcin
140ee81e68SLisandro Dalcinclass debuglogger(object):
150ee81e68SLisandro Dalcin    def __init__(self, log):
160ee81e68SLisandro Dalcin        self._log = log
170ee81e68SLisandro Dalcin
180ee81e68SLisandro Dalcin    def write(self, string):
190ee81e68SLisandro Dalcin        self._log.debug(string)
200ee81e68SLisandro Dalcin
210ee81e68SLisandro Dalcinclass Petsc(object):
220ee81e68SLisandro Dalcin    def __init__(self, petsc_dir=None, petsc_arch=None, verbose=False):
230ee81e68SLisandro Dalcin        if petsc_dir is None:
240ee81e68SLisandro Dalcin            petsc_dir = os.environ.get('PETSC_DIR')
250ee81e68SLisandro Dalcin            if petsc_dir is None:
260ee81e68SLisandro Dalcin                try:
27af0996ceSBarry Smith                    petsc_dir = parse_makefile(os.path.join('lib','petsc','conf', 'petscvariables')).get('PETSC_DIR')
280ee81e68SLisandro Dalcin                finally:
290ee81e68SLisandro Dalcin                    if petsc_dir is None:
300ee81e68SLisandro Dalcin                        raise RuntimeError('Could not determine PETSC_DIR, please set in environment')
310ee81e68SLisandro Dalcin        if petsc_arch is None:
320ee81e68SLisandro Dalcin            petsc_arch = os.environ.get('PETSC_ARCH')
330ee81e68SLisandro Dalcin            if petsc_arch is None:
340ee81e68SLisandro Dalcin                try:
35af0996ceSBarry Smith                    petsc_arch = parse_makefile(os.path.join(petsc_dir, 'lib','petsc','conf', 'petscvariables')).get('PETSC_ARCH')
360ee81e68SLisandro Dalcin                finally:
370ee81e68SLisandro Dalcin                    if petsc_arch is None:
380ee81e68SLisandro Dalcin                        raise RuntimeError('Could not determine PETSC_ARCH, please set in environment')
390ee81e68SLisandro Dalcin        self.petsc_dir = petsc_dir
400ee81e68SLisandro Dalcin        self.petsc_arch = petsc_arch
410ee81e68SLisandro Dalcin        self.read_conf()
428e69c5ecSJed Brown        try:
43af0996ceSBarry Smith            logging.basicConfig(filename=self.arch_path('lib','petsc','conf', 'gmake.log'), level=logging.DEBUG)
448e69c5ecSJed Brown        except IOError:
458e69c5ecSJed Brown            # Disable logging if path is not writeable (e.g., prefix install)
468e69c5ecSJed Brown            logging.basicConfig(filename='/dev/null', level=logging.DEBUG)
470ee81e68SLisandro Dalcin        self.log = logging.getLogger('gmakegen')
480ee81e68SLisandro Dalcin        self.mistakes = Mistakes(debuglogger(self.log), verbose=verbose)
490ee81e68SLisandro Dalcin        self.gendeps = []
500ee81e68SLisandro Dalcin
510ee81e68SLisandro Dalcin    def arch_path(self, *args):
520ee81e68SLisandro Dalcin        return os.path.join(self.petsc_dir, self.petsc_arch, *args)
530ee81e68SLisandro Dalcin
540ee81e68SLisandro Dalcin    def read_conf(self):
550ee81e68SLisandro Dalcin        self.conf = dict()
560ee81e68SLisandro Dalcin        for line in open(self.arch_path('include', 'petscconf.h')):
570ee81e68SLisandro Dalcin            if line.startswith('#define '):
580ee81e68SLisandro Dalcin                define = line[len('#define '):]
590ee81e68SLisandro Dalcin                space = define.find(' ')
600ee81e68SLisandro Dalcin                key = define[:space]
610ee81e68SLisandro Dalcin                val = define[space+1:]
620ee81e68SLisandro Dalcin                self.conf[key] = val
63af0996ceSBarry Smith        self.conf.update(parse_makefile(self.arch_path('lib','petsc','conf', 'petscvariables')))
640ee81e68SLisandro Dalcin        self.have_fortran = int(self.conf.get('PETSC_HAVE_FORTRAN', '0'))
650ee81e68SLisandro Dalcin
660ee81e68SLisandro Dalcin    def inconf(self, key, val):
670ee81e68SLisandro Dalcin        if key in ['package', 'function', 'define']:
680ee81e68SLisandro Dalcin            return self.conf.get(val)
690ee81e68SLisandro Dalcin        elif key == 'precision':
700ee81e68SLisandro Dalcin            return val == self.conf['PETSC_PRECISION']
710ee81e68SLisandro Dalcin        elif key == 'scalar':
720ee81e68SLisandro Dalcin            return val == self.conf['PETSC_SCALAR']
730ee81e68SLisandro Dalcin        elif key == 'language':
740ee81e68SLisandro Dalcin            return val == self.conf['PETSC_LANGUAGE']
750ee81e68SLisandro Dalcin        raise RuntimeError('Unknown conf check: %s %s' % (key, val))
760ee81e68SLisandro Dalcin
770ee81e68SLisandro Dalcin    def relpath(self, root, src):
780ee81e68SLisandro Dalcin        return os.path.relpath(os.path.join(root, src), self.petsc_dir)
790ee81e68SLisandro Dalcin
800ee81e68SLisandro Dalcin    def get_sources(self, makevars):
810ee81e68SLisandro Dalcin        """Return dict {lang: list_of_source_files}"""
820ee81e68SLisandro Dalcin        source = dict()
830ee81e68SLisandro Dalcin        for lang, sourcelang in LANGS.items():
840ee81e68SLisandro Dalcin            source[lang] = [f for f in makevars.get('SOURCE'+sourcelang,'').split() if f.endswith(lang)]
850ee81e68SLisandro Dalcin        return source
860ee81e68SLisandro Dalcin
870ee81e68SLisandro Dalcin    def gen_pkg(self, pkg):
880ee81e68SLisandro Dalcin        pkgsrcs = dict()
890ee81e68SLisandro Dalcin        for lang in LANGS:
900ee81e68SLisandro Dalcin            pkgsrcs[lang] = []
910ee81e68SLisandro Dalcin        for root, dirs, files in os.walk(os.path.join(self.petsc_dir, 'src', pkg)):
9209a6cbfcSBernhard M. Wiedemann            dirs.sort()
9309a6cbfcSBernhard M. Wiedemann            files.sort()
940ee81e68SLisandro Dalcin            makefile = os.path.join(root,'makefile')
950ee81e68SLisandro Dalcin            if not os.path.exists(makefile):
960ee81e68SLisandro Dalcin                dirs[:] = []
970ee81e68SLisandro Dalcin                continue
980ee81e68SLisandro Dalcin            mklines = open(makefile)
990ee81e68SLisandro Dalcin            conditions = set(tuple(stripsplit(line)) for line in mklines if line.startswith('#requires'))
1000ee81e68SLisandro Dalcin            mklines.close()
1010ee81e68SLisandro Dalcin            if not all(self.inconf(key, val) for key, val in conditions):
1020ee81e68SLisandro Dalcin                dirs[:] = []
1030ee81e68SLisandro Dalcin                continue
1040ee81e68SLisandro Dalcin            makevars = parse_makefile(makefile)
1050ee81e68SLisandro Dalcin            mdirs = makevars.get('DIRS','').split() # Directories specified in the makefile
1060ee81e68SLisandro Dalcin            self.mistakes.compareDirLists(root, mdirs, dirs) # diagnostic output to find unused directories
1070ee81e68SLisandro Dalcin            candidates = set(mdirs).union(AUTODIRS).difference(SKIPDIRS)
1080ee81e68SLisandro Dalcin            dirs[:] = list(candidates.intersection(dirs))
1090ee81e68SLisandro Dalcin            allsource = []
1100ee81e68SLisandro Dalcin            def mkrel(src):
1110ee81e68SLisandro Dalcin                return self.relpath(root, src)
1120ee81e68SLisandro Dalcin            source = self.get_sources(makevars)
1130ee81e68SLisandro Dalcin            for lang, s in source.items():
1142b757757SJed Brown                pkgsrcs[lang] += [mkrel(t) for t in s]
1150ee81e68SLisandro Dalcin                allsource += s
1160ee81e68SLisandro Dalcin            self.mistakes.compareSourceLists(root, allsource, files) # Diagnostic output about unused source files
1170ee81e68SLisandro Dalcin            self.gendeps.append(self.relpath(root, 'makefile'))
1180ee81e68SLisandro Dalcin        return pkgsrcs
1190ee81e68SLisandro Dalcin
120b0790570SJed Brown    def gen_gnumake(self, fd):
1210ee81e68SLisandro Dalcin        def write(stem, srcs):
1220ee81e68SLisandro Dalcin            for lang in LANGS:
1230ee81e68SLisandro Dalcin                fd.write('%(stem)s.%(lang)s := %(srcs)s\n' % dict(stem=stem, lang=lang, srcs=' '.join(srcs[lang])))
1240ee81e68SLisandro Dalcin        for pkg in PKGS:
1250ee81e68SLisandro Dalcin            srcs = self.gen_pkg(pkg)
126b0790570SJed Brown            write('srcs-' + pkg, srcs)
1270ee81e68SLisandro Dalcin        return self.gendeps
1280ee81e68SLisandro Dalcin
1290ee81e68SLisandro Dalcin    def gen_ninja(self, fd):
1300ee81e68SLisandro Dalcin        libobjs = []
1310ee81e68SLisandro Dalcin        for pkg in PKGS:
1320ee81e68SLisandro Dalcin            srcs = self.gen_pkg(pkg)
1330ee81e68SLisandro Dalcin            for lang in LANGS:
1340ee81e68SLisandro Dalcin                for src in srcs[lang]:
1350ee81e68SLisandro Dalcin                    obj = '$objdir/%s.o' % src
1360ee81e68SLisandro Dalcin                    fd.write('build %(obj)s : %(lang)s_COMPILE %(src)s\n' % dict(obj=obj, lang=lang.upper(), src=os.path.join(self.petsc_dir,src)))
1370ee81e68SLisandro Dalcin                    libobjs.append(obj)
1380ee81e68SLisandro Dalcin        fd.write('\n')
1390ee81e68SLisandro Dalcin        fd.write('build $libdir/libpetsc.so : %s_LINK_SHARED %s\n\n' % ('CF'[self.have_fortran], ' '.join(libobjs)))
1400ee81e68SLisandro Dalcin        fd.write('build petsc : phony || $libdir/libpetsc.so\n\n')
1410ee81e68SLisandro Dalcin
1420ee81e68SLisandro Dalcin    def summary(self):
1430ee81e68SLisandro Dalcin        self.mistakes.summary()
1440ee81e68SLisandro Dalcin
1450ee81e68SLisandro Dalcindef WriteGnuMake(petsc):
146af0996ceSBarry Smith    arch_files = petsc.arch_path('lib','petsc','conf', 'files')
1470ee81e68SLisandro Dalcin    fd = open(arch_files, 'w')
1480ee81e68SLisandro Dalcin    gendeps = petsc.gen_gnumake(fd)
1490ee81e68SLisandro Dalcin    fd.write('\n')
1500ee81e68SLisandro Dalcin    fd.write('# Dependency to regenerate this file\n')
1510ee81e68SLisandro Dalcin    fd.write('%s : %s %s\n' % (os.path.relpath(arch_files, petsc.petsc_dir),
1520ee81e68SLisandro Dalcin                               os.path.relpath(__file__, os.path.realpath(petsc.petsc_dir)),
1530ee81e68SLisandro Dalcin                               ' '.join(gendeps)))
1540ee81e68SLisandro Dalcin    fd.write('\n')
1550ee81e68SLisandro Dalcin    fd.write('# Dummy dependencies in case makefiles are removed\n')
1560ee81e68SLisandro Dalcin    fd.write(''.join([dep + ':\n' for dep in gendeps]))
1570ee81e68SLisandro Dalcin    fd.close()
1580ee81e68SLisandro Dalcin
1590ee81e68SLisandro Dalcindef WriteNinja(petsc):
1600ee81e68SLisandro Dalcin    conf = dict()
161af0996ceSBarry Smith    parse_makefile(os.path.join(petsc.petsc_dir, 'lib', 'petsc','conf', 'variables'), conf)
162af0996ceSBarry Smith    parse_makefile(petsc.arch_path('lib','petsc','conf', 'petscvariables'), conf)
1630ee81e68SLisandro Dalcin    build_ninja = petsc.arch_path('build.ninja')
1640ee81e68SLisandro Dalcin    fd = open(build_ninja, 'w')
1650ee81e68SLisandro Dalcin    fd.write('objdir = obj-ninja\n')
1660ee81e68SLisandro Dalcin    fd.write('libdir = lib\n')
1670ee81e68SLisandro Dalcin    fd.write('c_compile = %(PCC)s\n' % conf)
1680ee81e68SLisandro Dalcin    fd.write('c_flags = %(PETSC_CC_INCLUDES)s %(PCC_FLAGS)s %(CCPPFLAGS)s\n' % conf)
1690ee81e68SLisandro Dalcin    fd.write('c_link = %(PCC_LINKER)s\n' % conf)
1700ee81e68SLisandro Dalcin    fd.write('c_link_flags = %(PCC_LINKER_FLAGS)s\n' % conf)
1710ee81e68SLisandro Dalcin    if petsc.have_fortran:
1720ee81e68SLisandro Dalcin        fd.write('f_compile = %(FC)s\n' % conf)
1730ee81e68SLisandro Dalcin        fd.write('f_flags = %(PETSC_FC_INCLUDES)s %(FC_FLAGS)s %(FCPPFLAGS)s\n' % conf)
1740ee81e68SLisandro Dalcin        fd.write('f_link = %(FC_LINKER)s\n' % conf)
1750ee81e68SLisandro Dalcin        fd.write('f_link_flags = %(FC_LINKER_FLAGS)s\n' % conf)
1760ee81e68SLisandro Dalcin    fd.write('petsc_external_lib = %(PETSC_EXTERNAL_LIB_BASIC)s\n' % conf)
1770ee81e68SLisandro Dalcin    fd.write('python = %(PYTHON)s\n' % conf)
1780ee81e68SLisandro Dalcin    fd.write('\n')
1790ee81e68SLisandro Dalcin    fd.write('rule C_COMPILE\n'
1800ee81e68SLisandro Dalcin             '  command = $c_compile -MMD -MF $out.d $c_flags -c $in -o $out\n'
1810ee81e68SLisandro Dalcin             '  description = CC $out\n'
1820ee81e68SLisandro Dalcin             '  depfile = $out.d\n'
1830ee81e68SLisandro Dalcin             # '  deps = gcc\n') # 'gcc' is default, 'msvc' only recognized by newer versions of ninja
1840ee81e68SLisandro Dalcin             '\n')
1850ee81e68SLisandro Dalcin    fd.write('rule C_LINK_SHARED\n'
1860ee81e68SLisandro Dalcin             '  command = $c_link $c_link_flags -shared -o $out $in $petsc_external_lib\n'
1870ee81e68SLisandro Dalcin             '  description = CLINK_SHARED $out\n'
1880ee81e68SLisandro Dalcin             '\n')
1890ee81e68SLisandro Dalcin    if petsc.have_fortran:
1900ee81e68SLisandro Dalcin        fd.write('rule F_COMPILE\n'
1910ee81e68SLisandro Dalcin                 '  command = $f_compile -MMD -MF $out.d $f_flags -c $in -o $out\n'
1920ee81e68SLisandro Dalcin                 '  description = FC $out\n'
1930ee81e68SLisandro Dalcin                 '  depfile = $out.d\n'
1940ee81e68SLisandro Dalcin                 '\n')
1950ee81e68SLisandro Dalcin        fd.write('rule F_LINK_SHARED\n'
1960ee81e68SLisandro Dalcin                 '  command = $f_link $f_link_flags -shared -o $out $in $petsc_external_lib\n'
1970ee81e68SLisandro Dalcin                 '  description = FLINK_SHARED $out\n'
1980ee81e68SLisandro Dalcin                 '\n')
1990ee81e68SLisandro Dalcin    fd.write('rule GEN_NINJA\n'
2000ee81e68SLisandro Dalcin             '  command = $python $in --output=ninja\n'
2010ee81e68SLisandro Dalcin             '  generator = 1\n'
2020ee81e68SLisandro Dalcin             '\n')
2030ee81e68SLisandro Dalcin    petsc.gen_ninja(fd)
2040ee81e68SLisandro Dalcin    fd.write('\n')
2050ee81e68SLisandro Dalcin    fd.write('build %s : GEN_NINJA | %s %s %s %s\n' % (build_ninja,
2060ee81e68SLisandro Dalcin                                                       os.path.abspath(__file__),
207af0996ceSBarry Smith                                                       os.path.join(petsc.petsc_dir, 'lib','petsc','conf', 'variables'),
208af0996ceSBarry Smith                                                       petsc.arch_path('lib','petsc','conf', 'petscvariables'),
2090ee81e68SLisandro Dalcin                                                       ' '.join(os.path.join(petsc.petsc_dir, dep) for dep in petsc.gendeps)))
2100ee81e68SLisandro Dalcin
2110ee81e68SLisandro Dalcindef main(petsc_dir=None, petsc_arch=None, output=None, verbose=False):
2120ee81e68SLisandro Dalcin    if output is None:
2130ee81e68SLisandro Dalcin        output = 'gnumake'
2140ee81e68SLisandro Dalcin    writer = dict(gnumake=WriteGnuMake, ninja=WriteNinja)
2150ee81e68SLisandro Dalcin    petsc = Petsc(petsc_dir=petsc_dir, petsc_arch=petsc_arch, verbose=verbose)
2160ee81e68SLisandro Dalcin    writer[output](petsc)
2170ee81e68SLisandro Dalcin    petsc.summary()
2180ee81e68SLisandro Dalcin
2190ee81e68SLisandro Dalcinif __name__ == '__main__':
2200ee81e68SLisandro Dalcin    import optparse
2210ee81e68SLisandro Dalcin    parser = optparse.OptionParser()
2220ee81e68SLisandro Dalcin    parser.add_option('--verbose', help='Show mismatches between makefiles and the filesystem', action='store_true', default=False)
2230ee81e68SLisandro Dalcin    parser.add_option('--petsc-arch', help='Set PETSC_ARCH different from environment', default=os.environ.get('PETSC_ARCH'))
2240ee81e68SLisandro Dalcin    parser.add_option('--output', help='Location to write output file', default=None)
2250ee81e68SLisandro Dalcin    opts, extra_args = parser.parse_args()
2260ee81e68SLisandro Dalcin    if extra_args:
2270ee81e68SLisandro Dalcin        import sys
2280ee81e68SLisandro Dalcin        sys.stderr.write('Unknown arguments: %s\n' % ' '.join(extra_args))
2290ee81e68SLisandro Dalcin        exit(1)
2300ee81e68SLisandro Dalcin    main(petsc_arch=opts.petsc_arch, output=opts.output, verbose=opts.verbose)
231