xref: /llvm-project/mlir/lib/Analysis/Presburger/CMakeLists.txt (revision d0fee98e0cd6afa116bed90c47cc33bbf8d7b867) 
1add_mlir_library(MLIRPresburger
2  Barvinok.cpp
3  IntegerRelation.cpp
4  LinearTransform.cpp
5  Matrix.cpp
6  PresburgerRelation.cpp
7  PresburgerSpace.cpp
8  PWMAFunction.cpp
9  QuasiPolynomial.cpp
10  Simplex.cpp
11  Utils.cpp)
12