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
22
23
24

message(STATUS "Using lit: ${LIT_TOOL}")
message(STATUS "Using FileCheck: ${FILECHECK_TOOL}")

configure_lit_site_cfg(
  ${CMAKE_CURRENT_SOURCE_DIR}/lit.site.cfg.py.in
  ${CMAKE_CURRENT_BINARY_DIR}/lit.cfg.py
  MAIN_CONFIG
)

set(LLVM_EXTERNAL_LIT /home/linuxbrew/.linuxbrew/opt/lit/bin/lit CACHE STRING "Description" FORCE)

add_lit_testsuite(check-dialects "Running Symbolic Dialect Tests..."
  ${CMAKE_CURRENT_BINARY_DIR}

  ARGS
    -a --show-pass --show-xfail

  DEPENDS
    FileCheck count not
    mlir-opt
    mlir-runner
    dialect-driver
)