1*9ba83ac0SJeremy L Thompson# Copyright (c) 2017-2026, Lawrence Livermore National Security, LLC and other CEED contributors 23d8e8822SJeremy L Thompson# All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 37b8bbb42Svaleriabarra# 43d8e8822SJeremy L Thompson# SPDX-License-Identifier: BSD-2-Clause 57b8bbb42Svaleriabarra# 63d8e8822SJeremy L Thompson# This file is part of CEED: http://github.com/ceed 77b8bbb42Svaleriabarra 87b8bbb42Svaleriabarraimport os 9477729cfSJeremy L Thompsonimport re 107b8bbb42Svaleriabarrafrom cffi import FFI 117b8bbb42Svaleriabarraffibuilder = FFI() 127b8bbb42Svaleriabarra 13b3bcc043SJed Brownceed_version_ge = re.compile(r'\s+\(!?CEED_VERSION.*') 14bd4df462SJed Brown 15dd8ab4d9SJed Brown 162027fb9dSSirAlienTheGreat# Checks to see if a c line is part of the lines we have to exclude (macros) 172027fb9dSSirAlienTheGreatdef is_valid_line(line): 182027fb9dSSirAlienTheGreat if (line.startswith("#") and not line.startswith("#include")): 192027fb9dSSirAlienTheGreat return False 202027fb9dSSirAlienTheGreat if (line.startswith("#include \"deprecated.h\"")): 212027fb9dSSirAlienTheGreat return False 222027fb9dSSirAlienTheGreat if (line.startswith(" CEED_QFUNCTION_ATTR")): 232027fb9dSSirAlienTheGreat return False 242027fb9dSSirAlienTheGreat if (line.startswith(" static const char")): 252027fb9dSSirAlienTheGreat return False 262027fb9dSSirAlienTheGreat if (line.endswith('\\\n')): 272027fb9dSSirAlienTheGreat return False 282027fb9dSSirAlienTheGreat if ("CeedErrorImpl" in line): 292027fb9dSSirAlienTheGreat return False 302027fb9dSSirAlienTheGreat if (r'const char *, ...);' in line): 312027fb9dSSirAlienTheGreat return False 322027fb9dSSirAlienTheGreat if (line.startswith("CEED_EXTERN const char *const")): 332027fb9dSSirAlienTheGreat return False 342027fb9dSSirAlienTheGreat if (ceed_version_ge.match(line)): 352027fb9dSSirAlienTheGreat return False 362027fb9dSSirAlienTheGreat return True 372027fb9dSSirAlienTheGreat 382027fb9dSSirAlienTheGreat 39dd8ab4d9SJed Browndef get_ceed_dirs(): 40dd8ab4d9SJed Brown here = os.path.dirname(os.path.abspath(__file__)) 41dd8ab4d9SJed Brown prefix = os.path.dirname(here) 42dd8ab4d9SJed Brown # make install links the installed library in build/lbiceed.so Sadly, it 43dd8ab4d9SJed Brown # does not seem possible to obtain the bath that libceed_build_ext has/will 44dd8ab4d9SJed Brown # install to. 45dd8ab4d9SJed Brown libdir = os.path.join(prefix, "build") 46dd8ab4d9SJed Brown return prefix, libdir 47dd8ab4d9SJed Brown 48dd8ab4d9SJed Brown 49dd8ab4d9SJed Brownceed_dir, ceed_libdir = get_ceed_dirs() 50dd8ab4d9SJed Brown 517b8bbb42Svaleriabarra# ------------------------------------------------------------------------------ 527b8bbb42Svaleriabarra# Provide C definitions to CFFI 537b8bbb42Svaleriabarra# ------------------------------------------------------------------------------ 54c9c2c079SJeremy L Thompsonlines = [] 55c9c2c079SJeremy L Thompsonfor header_path in ["include/ceed/types.h", "include/ceed/ceed.h"]: 56c9c2c079SJeremy L Thompson with open(os.path.abspath(header_path)) as f: 572027fb9dSSirAlienTheGreat lines += [line.strip() for line in f if is_valid_line(line)] 587b8bbb42Svaleriabarralines = [line.replace("CEED_EXTERN", "extern") for line in lines] 59c9c2c079SJeremy L Thompson 6080a9ef05SNatalie Beams# Find scalar type inclusion line and insert definitions 6180a9ef05SNatalie Beamsfor line in lines: 6280a9ef05SNatalie Beams if re.search("ceed-f32.h", line) is not None: 6380a9ef05SNatalie Beams insert_index = lines.index(line) + 1 6480a9ef05SNatalie Beams extra_lines = ['typedef float CeedScalar;'] 6580a9ef05SNatalie Beams extra_lines.append('static const int CEED_SCALAR_TYPE;') 6680a9ef05SNatalie Beams extra_lines.append('static const double CEED_EPSILON;') 6780a9ef05SNatalie Beams elif re.search("ceed-f64.h", line) is not None: 6880a9ef05SNatalie Beams insert_index = lines.index(line) + 1 6980a9ef05SNatalie Beams extra_lines = ['typedef double CeedScalar;'] 7080a9ef05SNatalie Beams extra_lines.append('static const int CEED_SCALAR_TYPE;') 7180a9ef05SNatalie Beams extra_lines.append('static const double CEED_EPSILON;') 7280a9ef05SNatalie Beamslines[insert_index: insert_index] = extra_lines 73c9c2c079SJeremy L Thompson 7480a9ef05SNatalie Beams# Remove all include statements now that scalar type has been dealt with 7580a9ef05SNatalie Beamslines = [line for line in lines if not line.startswith("#include")] 76c9c2c079SJeremy L Thompson 7780a9ef05SNatalie Beams# Build header from lines 781d83af80SJed Brownheader = '\n'.join(lines) 797b8bbb42Svaleriabarraheader = header.split("static inline CeedInt CeedIntPow", 1)[0] 8019798369SJed Brownheader += '\nextern int CeedVectorGetState(CeedVector, uint64_t*);' 8156c48462SJeremy L Thompsonheader += '\nextern int CeedElemRestrictionGetLLayout(CeedElemRestriction, CeedInt layout[3]);' 8256c48462SJeremy L Thompsonheader += '\nextern int CeedElemRestrictionGetELayout(CeedElemRestriction, CeedInt layout[3]);' 83c9c2c079SJeremy L Thompson 84477729cfSJeremy L Thompson# Note: cffi cannot handle vargs 85477729cfSJeremy L Thompsonheader = re.sub("va_list", "const char *", header) 86c9c2c079SJeremy L Thompson 877b8bbb42Svaleriabarraffibuilder.cdef(header) 887b8bbb42Svaleriabarra 897b8bbb42Svaleriabarraffibuilder.set_source("_ceed_cffi", 907b8bbb42Svaleriabarra """ 91477729cfSJeremy L Thompson #define va_list const char * 9249aac155SJeremy L Thompson #include <ceed.h> // the C header of the library 93dd8ab4d9SJed Brown #include <ceed/backend.h> // declarations for the backend functions above 947b8bbb42Svaleriabarra """, 95450bb777Svaleriabarra include_dirs=[ 96dd8ab4d9SJed Brown os.path.join(ceed_dir, "include")], # include path 977b8bbb42Svaleriabarra libraries=["ceed"], # library name, for the linker 98dd8ab4d9SJed Brown # library path, for the linker 99dd8ab4d9SJed Brown library_dirs=[ceed_libdir], 1007a7b0fa3SJed Brown # use libceed.so as installed 1017a7b0fa3SJed Brown runtime_library_dirs=['$ORIGIN/libceed/lib'] 1027b8bbb42Svaleriabarra ) 1037b8bbb42Svaleriabarra 1047b8bbb42Svaleriabarra# ------------------------------------------------------------------------------ 1057b8bbb42Svaleriabarra# Builder 1067b8bbb42Svaleriabarra# ------------------------------------------------------------------------------ 1077b8bbb42Svaleriabarraif __name__ == "__main__": 1087b8bbb42Svaleriabarra ffibuilder.compile(verbose=True) 1097b8bbb42Svaleriabarra 1107b8bbb42Svaleriabarra# ------------------------------------------------------------------------------ 111