xref: /libCEED/python/build_ceed_cffi.py (revision d4cc18453651bd0f94c1a2e078b2646a92dafdcc)
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