mathic 0.2.0

A compiler with builtin support of symbolic operations, built with LLVM/MLIR
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

get_property(dialect_libs GLOBAL PROPERTY MLIR_DIALECT_LIBS)
get_property(conversion_libs GLOBAL PROPERTY MLIR_CONVERSION_LIBS)

set(LIBS
    ${dialect_libs}
    ${conversion_libs}
    MLIROptLib
    MLIRPass
    MLIRSymbolicDialect
    MLIRSymbolicTransforms
    MLIRSymbolicToArith
    MLIRRegisterAllDialects
    MLIRRegisterAllPasses
)

add_llvm_executable(dialect-driver dialect-driver.cpp)

llvm_update_compile_flags(dialect-driver)
target_link_libraries(dialect-driver PRIVATE ${LIBS})

mlir_check_all_link_libraries(dialect-driver)