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