xref: /petsc/config/gmakegen.py (revision 47fd361e7a3b52ee8626c6d7e4292edbb5ff768f)
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
97b8851e6SJed Brownfrom collections import defaultdict
100ee81e68SLisandro Dalcin
11*47fd361eSStefano ZampiniPetscPKGS = 'sys vec mat dm ksp snes ts tao'.split()
12*47fd361eSStefano ZampiniLANGS = dict(c='C', cxx='CXX', cpp='CPP', 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):
22*47fd361eSStefano Zampini    def __init__(self, petsc_dir=None, petsc_arch=None, pkg_dir=None, pkg_name=None, pkg_arch=None, pkg_pkgs=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')
39add6df95SStefano Zampini        self.petsc_dir = os.path.normpath(petsc_dir)
40add6df95SStefano Zampini        self.petsc_arch = petsc_arch.rstrip(os.sep)
41add6df95SStefano Zampini        self.pkg_dir = pkg_dir
42add6df95SStefano Zampini        self.pkg_name = pkg_name
43c4bccdb5SStefano Zampini        self.pkg_arch = pkg_arch
44add6df95SStefano Zampini        if self.pkg_dir is None:
45add6df95SStefano Zampini          self.pkg_dir = petsc_dir
46add6df95SStefano Zampini          self.pkg_name = 'petsc'
47c4bccdb5SStefano Zampini          self.pkg_arch = self.petsc_arch
48add6df95SStefano Zampini        if self.pkg_name is None:
49add6df95SStefano Zampini          self.pkg_name = os.path.basename(os.path.normpath(self.pkg_dir))
50c4bccdb5SStefano Zampini        if self.pkg_arch is None:
51c4bccdb5SStefano Zampini          self.pkg_arch = self.petsc_arch
52*47fd361eSStefano Zampini        self.pkg_pkgs = PetscPKGS
53*47fd361eSStefano Zampini        if pkg_pkgs is not None:
54*47fd361eSStefano Zampini          self.pkg_pkgs += list(set(pkg_pkgs.split(','))-set(self.pkg_pkgs))
55*47fd361eSStefano Zampini        self.read_conf()
568e69c5ecSJed Brown        try:
57add6df95SStefano Zampini            logging.basicConfig(filename=self.pkg_arch_path('lib',self.pkg_name,'conf', 'gmake.log'), level=logging.DEBUG)
588e69c5ecSJed Brown        except IOError:
598e69c5ecSJed Brown            # Disable logging if path is not writeable (e.g., prefix install)
608e69c5ecSJed Brown            logging.basicConfig(filename='/dev/null', level=logging.DEBUG)
610ee81e68SLisandro Dalcin        self.log = logging.getLogger('gmakegen')
620ee81e68SLisandro Dalcin        self.mistakes = Mistakes(debuglogger(self.log), verbose=verbose)
630ee81e68SLisandro Dalcin        self.gendeps = []
640ee81e68SLisandro Dalcin
650ee81e68SLisandro Dalcin    def arch_path(self, *args):
660ee81e68SLisandro Dalcin        return os.path.join(self.petsc_dir, self.petsc_arch, *args)
670ee81e68SLisandro Dalcin
68add6df95SStefano Zampini    def pkg_arch_path(self, *args):
69c4bccdb5SStefano Zampini        return os.path.join(self.pkg_dir, self.pkg_arch, *args)
70add6df95SStefano Zampini
710ee81e68SLisandro Dalcin    def read_conf(self):
720ee81e68SLisandro Dalcin        self.conf = dict()
730ee81e68SLisandro Dalcin        for line in open(self.arch_path('include', 'petscconf.h')):
740ee81e68SLisandro Dalcin            if line.startswith('#define '):
750ee81e68SLisandro Dalcin                define = line[len('#define '):]
760ee81e68SLisandro Dalcin                space = define.find(' ')
770ee81e68SLisandro Dalcin                key = define[:space]
780ee81e68SLisandro Dalcin                val = define[space+1:]
790ee81e68SLisandro Dalcin                self.conf[key] = val
80af0996ceSBarry Smith        self.conf.update(parse_makefile(self.arch_path('lib','petsc','conf', 'petscvariables')))
81*47fd361eSStefano Zampini        # allow parsing package additional configurations (if any)
82*47fd361eSStefano Zampini        if self.pkg_name != 'petsc' :
83*47fd361eSStefano Zampini            f = self.pkg_arch_path('include', self.pkg_name + 'conf.h')
84*47fd361eSStefano Zampini            if os.path.isfile(f):
85*47fd361eSStefano Zampini                for line in open(self.pkg_arch_path('include', self.pkg_name + 'conf.h')):
86*47fd361eSStefano Zampini                    if line.startswith('#define '):
87*47fd361eSStefano Zampini                        define = line[len('#define '):]
88*47fd361eSStefano Zampini                        space = define.find(' ')
89*47fd361eSStefano Zampini                        key = define[:space]
90*47fd361eSStefano Zampini                        val = define[space+1:]
91*47fd361eSStefano Zampini                        self.conf[key] = val
92*47fd361eSStefano Zampini            f = self.pkg_arch_path('lib',self.pkg_name,'conf', self.pkg_name + 'variables')
93*47fd361eSStefano Zampini            if os.path.isfile(f):
94*47fd361eSStefano Zampini                self.conf.update(parse_makefile(self.pkg_arch_path('lib',self.pkg_name,'conf', self.pkg_name + 'variables')))
950ee81e68SLisandro Dalcin        self.have_fortran = int(self.conf.get('PETSC_HAVE_FORTRAN', '0'))
960ee81e68SLisandro Dalcin
970ee81e68SLisandro Dalcin    def inconf(self, key, val):
980ee81e68SLisandro Dalcin        if key in ['package', 'function', 'define']:
990ee81e68SLisandro Dalcin            return self.conf.get(val)
1000ee81e68SLisandro Dalcin        elif key == 'precision':
1010ee81e68SLisandro Dalcin            return val == self.conf['PETSC_PRECISION']
1020ee81e68SLisandro Dalcin        elif key == 'scalar':
1030ee81e68SLisandro Dalcin            return val == self.conf['PETSC_SCALAR']
1040ee81e68SLisandro Dalcin        elif key == 'language':
1050ee81e68SLisandro Dalcin            return val == self.conf['PETSC_LANGUAGE']
1060ee81e68SLisandro Dalcin        raise RuntimeError('Unknown conf check: %s %s' % (key, val))
1070ee81e68SLisandro Dalcin
1080ee81e68SLisandro Dalcin    def relpath(self, root, src):
109add6df95SStefano Zampini        return os.path.relpath(os.path.join(root, src), self.pkg_dir)
1100ee81e68SLisandro Dalcin
1110ee81e68SLisandro Dalcin    def get_sources(self, makevars):
1120ee81e68SLisandro Dalcin        """Return dict {lang: list_of_source_files}"""
1130ee81e68SLisandro Dalcin        source = dict()
1140ee81e68SLisandro Dalcin        for lang, sourcelang in LANGS.items():
1150ee81e68SLisandro Dalcin            source[lang] = [f for f in makevars.get('SOURCE'+sourcelang,'').split() if f.endswith(lang)]
1160ee81e68SLisandro Dalcin        return source
1170ee81e68SLisandro Dalcin
1180ee81e68SLisandro Dalcin    def gen_pkg(self, pkg):
1190ee81e68SLisandro Dalcin        pkgsrcs = dict()
1200ee81e68SLisandro Dalcin        for lang in LANGS:
1210ee81e68SLisandro Dalcin            pkgsrcs[lang] = []
122add6df95SStefano Zampini        for root, dirs, files in os.walk(os.path.join(self.pkg_dir, 'src', pkg)):
12309a6cbfcSBernhard M. Wiedemann            dirs.sort()
12409a6cbfcSBernhard M. Wiedemann            files.sort()
1250ee81e68SLisandro Dalcin            makefile = os.path.join(root,'makefile')
1260ee81e68SLisandro Dalcin            if not os.path.exists(makefile):
1270ee81e68SLisandro Dalcin                dirs[:] = []
1280ee81e68SLisandro Dalcin                continue
1290ee81e68SLisandro Dalcin            mklines = open(makefile)
1300ee81e68SLisandro Dalcin            conditions = set(tuple(stripsplit(line)) for line in mklines if line.startswith('#requires'))
1310ee81e68SLisandro Dalcin            mklines.close()
1320ee81e68SLisandro Dalcin            if not all(self.inconf(key, val) for key, val in conditions):
1330ee81e68SLisandro Dalcin                dirs[:] = []
1340ee81e68SLisandro Dalcin                continue
1350ee81e68SLisandro Dalcin            makevars = parse_makefile(makefile)
1360ee81e68SLisandro Dalcin            mdirs = makevars.get('DIRS','').split() # Directories specified in the makefile
1370ee81e68SLisandro Dalcin            self.mistakes.compareDirLists(root, mdirs, dirs) # diagnostic output to find unused directories
1380ee81e68SLisandro Dalcin            candidates = set(mdirs).union(AUTODIRS).difference(SKIPDIRS)
1390ee81e68SLisandro Dalcin            dirs[:] = list(candidates.intersection(dirs))
1400ee81e68SLisandro Dalcin            allsource = []
1410ee81e68SLisandro Dalcin            def mkrel(src):
1420ee81e68SLisandro Dalcin                return self.relpath(root, src)
1430ee81e68SLisandro Dalcin            source = self.get_sources(makevars)
1440ee81e68SLisandro Dalcin            for lang, s in source.items():
1452b757757SJed Brown                pkgsrcs[lang] += [mkrel(t) for t in s]
1460ee81e68SLisandro Dalcin                allsource += s
1470ee81e68SLisandro Dalcin            self.mistakes.compareSourceLists(root, allsource, files) # Diagnostic output about unused source files
1480ee81e68SLisandro Dalcin            self.gendeps.append(self.relpath(root, 'makefile'))
1490ee81e68SLisandro Dalcin        return pkgsrcs
1500ee81e68SLisandro Dalcin
151b0790570SJed Brown    def gen_gnumake(self, fd):
1520ee81e68SLisandro Dalcin        def write(stem, srcs):
1530ee81e68SLisandro Dalcin            for lang in LANGS:
1540ee81e68SLisandro Dalcin                fd.write('%(stem)s.%(lang)s := %(srcs)s\n' % dict(stem=stem, lang=lang, srcs=' '.join(srcs[lang])))
155*47fd361eSStefano Zampini        for pkg in self.pkg_pkgs:
1560ee81e68SLisandro Dalcin            srcs = self.gen_pkg(pkg)
157b0790570SJed Brown            write('srcs-' + pkg, srcs)
1580ee81e68SLisandro Dalcin        return self.gendeps
1590ee81e68SLisandro Dalcin
1600ee81e68SLisandro Dalcin    def gen_ninja(self, fd):
1610ee81e68SLisandro Dalcin        libobjs = []
162*47fd361eSStefano Zampini        for pkg in self.pkg_pkgs:
1630ee81e68SLisandro Dalcin            srcs = self.gen_pkg(pkg)
1640ee81e68SLisandro Dalcin            for lang in LANGS:
1650ee81e68SLisandro Dalcin                for src in srcs[lang]:
1660ee81e68SLisandro Dalcin                    obj = '$objdir/%s.o' % src
167add6df95SStefano Zampini                    fd.write('build %(obj)s : %(lang)s_COMPILE %(src)s\n' % dict(obj=obj, lang=lang.upper(), src=os.path.join(self.pkg_dir,src)))
1680ee81e68SLisandro Dalcin                    libobjs.append(obj)
1690ee81e68SLisandro Dalcin        fd.write('\n')
1700ee81e68SLisandro Dalcin        fd.write('build $libdir/libpetsc.so : %s_LINK_SHARED %s\n\n' % ('CF'[self.have_fortran], ' '.join(libobjs)))
1710ee81e68SLisandro Dalcin        fd.write('build petsc : phony || $libdir/libpetsc.so\n\n')
1720ee81e68SLisandro Dalcin
1730ee81e68SLisandro Dalcin    def summary(self):
1740ee81e68SLisandro Dalcin        self.mistakes.summary()
1750ee81e68SLisandro Dalcin
1760ee81e68SLisandro Dalcindef WriteGnuMake(petsc):
177add6df95SStefano Zampini    arch_files = petsc.pkg_arch_path('lib',petsc.pkg_name,'conf', 'files')
1780ee81e68SLisandro Dalcin    fd = open(arch_files, 'w')
1790ee81e68SLisandro Dalcin    gendeps = petsc.gen_gnumake(fd)
1800ee81e68SLisandro Dalcin    fd.write('\n')
1810ee81e68SLisandro Dalcin    fd.write('# Dependency to regenerate this file\n')
182add6df95SStefano Zampini    fd.write('%s : %s %s\n' % (os.path.relpath(arch_files, petsc.pkg_dir),
183add6df95SStefano Zampini                               os.path.relpath(__file__, os.path.realpath(petsc.pkg_dir)),
1840ee81e68SLisandro Dalcin                               ' '.join(gendeps)))
1850ee81e68SLisandro Dalcin    fd.write('\n')
1860ee81e68SLisandro Dalcin    fd.write('# Dummy dependencies in case makefiles are removed\n')
1870ee81e68SLisandro Dalcin    fd.write(''.join([dep + ':\n' for dep in gendeps]))
1880ee81e68SLisandro Dalcin    fd.close()
1890ee81e68SLisandro Dalcin
1900ee81e68SLisandro Dalcindef WriteNinja(petsc):
1910ee81e68SLisandro Dalcin    conf = dict()
192af0996ceSBarry Smith    parse_makefile(os.path.join(petsc.petsc_dir, 'lib', 'petsc','conf', 'variables'), conf)
193af0996ceSBarry Smith    parse_makefile(petsc.arch_path('lib','petsc','conf', 'petscvariables'), conf)
1940ee81e68SLisandro Dalcin    build_ninja = petsc.arch_path('build.ninja')
1950ee81e68SLisandro Dalcin    fd = open(build_ninja, 'w')
1960ee81e68SLisandro Dalcin    fd.write('objdir = obj-ninja\n')
1970ee81e68SLisandro Dalcin    fd.write('libdir = lib\n')
1980ee81e68SLisandro Dalcin    fd.write('c_compile = %(PCC)s\n' % conf)
1990ee81e68SLisandro Dalcin    fd.write('c_flags = %(PETSC_CC_INCLUDES)s %(PCC_FLAGS)s %(CCPPFLAGS)s\n' % conf)
2000ee81e68SLisandro Dalcin    fd.write('c_link = %(PCC_LINKER)s\n' % conf)
2010ee81e68SLisandro Dalcin    fd.write('c_link_flags = %(PCC_LINKER_FLAGS)s\n' % conf)
2020ee81e68SLisandro Dalcin    if petsc.have_fortran:
2030ee81e68SLisandro Dalcin        fd.write('f_compile = %(FC)s\n' % conf)
2040ee81e68SLisandro Dalcin        fd.write('f_flags = %(PETSC_FC_INCLUDES)s %(FC_FLAGS)s %(FCPPFLAGS)s\n' % conf)
2050ee81e68SLisandro Dalcin        fd.write('f_link = %(FC_LINKER)s\n' % conf)
2060ee81e68SLisandro Dalcin        fd.write('f_link_flags = %(FC_LINKER_FLAGS)s\n' % conf)
2070ee81e68SLisandro Dalcin    fd.write('petsc_external_lib = %(PETSC_EXTERNAL_LIB_BASIC)s\n' % conf)
2080ee81e68SLisandro Dalcin    fd.write('python = %(PYTHON)s\n' % conf)
2090ee81e68SLisandro Dalcin    fd.write('\n')
2100ee81e68SLisandro Dalcin    fd.write('rule C_COMPILE\n'
2110ee81e68SLisandro Dalcin             '  command = $c_compile -MMD -MF $out.d $c_flags -c $in -o $out\n'
2120ee81e68SLisandro Dalcin             '  description = CC $out\n'
2130ee81e68SLisandro Dalcin             '  depfile = $out.d\n'
2140ee81e68SLisandro Dalcin             # '  deps = gcc\n') # 'gcc' is default, 'msvc' only recognized by newer versions of ninja
2150ee81e68SLisandro Dalcin             '\n')
2160ee81e68SLisandro Dalcin    fd.write('rule C_LINK_SHARED\n'
2170ee81e68SLisandro Dalcin             '  command = $c_link $c_link_flags -shared -o $out $in $petsc_external_lib\n'
2180ee81e68SLisandro Dalcin             '  description = CLINK_SHARED $out\n'
2190ee81e68SLisandro Dalcin             '\n')
2200ee81e68SLisandro Dalcin    if petsc.have_fortran:
2210ee81e68SLisandro Dalcin        fd.write('rule F_COMPILE\n'
2220ee81e68SLisandro Dalcin                 '  command = $f_compile -MMD -MF $out.d $f_flags -c $in -o $out\n'
2230ee81e68SLisandro Dalcin                 '  description = FC $out\n'
2240ee81e68SLisandro Dalcin                 '  depfile = $out.d\n'
2250ee81e68SLisandro Dalcin                 '\n')
2260ee81e68SLisandro Dalcin        fd.write('rule F_LINK_SHARED\n'
2270ee81e68SLisandro Dalcin                 '  command = $f_link $f_link_flags -shared -o $out $in $petsc_external_lib\n'
2280ee81e68SLisandro Dalcin                 '  description = FLINK_SHARED $out\n'
2290ee81e68SLisandro Dalcin                 '\n')
2300ee81e68SLisandro Dalcin    fd.write('rule GEN_NINJA\n'
2310ee81e68SLisandro Dalcin             '  command = $python $in --output=ninja\n'
2320ee81e68SLisandro Dalcin             '  generator = 1\n'
2330ee81e68SLisandro Dalcin             '\n')
2340ee81e68SLisandro Dalcin    petsc.gen_ninja(fd)
2350ee81e68SLisandro Dalcin    fd.write('\n')
2360ee81e68SLisandro Dalcin    fd.write('build %s : GEN_NINJA | %s %s %s %s\n' % (build_ninja,
2370ee81e68SLisandro Dalcin                                                       os.path.abspath(__file__),
238af0996ceSBarry Smith                                                       os.path.join(petsc.petsc_dir, 'lib','petsc','conf', 'variables'),
239af0996ceSBarry Smith                                                       petsc.arch_path('lib','petsc','conf', 'petscvariables'),
240add6df95SStefano Zampini                                                       ' '.join(os.path.join(petsc.pkg_dir, dep) for dep in petsc.gendeps)))
2410ee81e68SLisandro Dalcin
242*47fd361eSStefano Zampinidef main(petsc_dir=None, petsc_arch=None, pkg_dir=None, pkg_name=None, pkg_arch=None, pkg_pkgs=None, output=None, verbose=False):
2430ee81e68SLisandro Dalcin    if output is None:
2440ee81e68SLisandro Dalcin        output = 'gnumake'
2450ee81e68SLisandro Dalcin    writer = dict(gnumake=WriteGnuMake, ninja=WriteNinja)
246*47fd361eSStefano Zampini    petsc = Petsc(petsc_dir=petsc_dir, petsc_arch=petsc_arch, pkg_dir=pkg_dir, pkg_name=pkg_name, pkg_arch=pkg_arch, pkg_pkgs=pkg_pkgs, verbose=verbose)
2470ee81e68SLisandro Dalcin    writer[output](petsc)
2480ee81e68SLisandro Dalcin    petsc.summary()
2490ee81e68SLisandro Dalcin
2500ee81e68SLisandro Dalcinif __name__ == '__main__':
2510ee81e68SLisandro Dalcin    import optparse
2520ee81e68SLisandro Dalcin    parser = optparse.OptionParser()
2530ee81e68SLisandro Dalcin    parser.add_option('--verbose', help='Show mismatches between makefiles and the filesystem', action='store_true', default=False)
2540ee81e68SLisandro Dalcin    parser.add_option('--petsc-arch', help='Set PETSC_ARCH different from environment', default=os.environ.get('PETSC_ARCH'))
255add6df95SStefano Zampini    parser.add_option('--pkg-dir', help='Set the directory of the package (different from PETSc) you want to generate the makefile rules for', default=None)
256add6df95SStefano Zampini    parser.add_option('--pkg-name', help='Set the name of the package you want to generate the makefile rules for', default=None)
257c4bccdb5SStefano Zampini    parser.add_option('--pkg-arch', help='Set the package arch name you want to generate the makefile rules for', default=None)
258*47fd361eSStefano Zampini    parser.add_option('--pkg-pkgs', help='Set the package folders (comma separated list, different from the usual sys,vec,mat etc) you want to generate the makefile rules for', default=None)
2590ee81e68SLisandro Dalcin    parser.add_option('--output', help='Location to write output file', default=None)
2600ee81e68SLisandro Dalcin    opts, extra_args = parser.parse_args()
2610ee81e68SLisandro Dalcin    if extra_args:
2620ee81e68SLisandro Dalcin        import sys
2630ee81e68SLisandro Dalcin        sys.stderr.write('Unknown arguments: %s\n' % ' '.join(extra_args))
2640ee81e68SLisandro Dalcin        exit(1)
265*47fd361eSStefano Zampini    main(petsc_arch=opts.petsc_arch, pkg_dir=opts.pkg_dir, pkg_name=opts.pkg_name, pkg_arch=opts.pkg_arch, pkg_pkgs=opts.pkg_pkgs, output=opts.output, verbose=opts.verbose)
266