12 lines · plain
1add_mlir_library(MLIRPresburger2 Barvinok.cpp3 IntegerRelation.cpp4 LinearTransform.cpp5 Matrix.cpp6 PresburgerRelation.cpp7 PresburgerSpace.cpp8 PWMAFunction.cpp9 QuasiPolynomial.cpp10 Simplex.cpp11 Utils.cpp)12 1add_mlir_library(MLIRPresburger2 Barvinok.cpp3 IntegerRelation.cpp4 LinearTransform.cpp5 Matrix.cpp6 PresburgerRelation.cpp7 PresburgerSpace.cpp8 PWMAFunction.cpp9 QuasiPolynomial.cpp10 Simplex.cpp11 Utils.cpp)12