cat.c

   1 #include <isl_map.h>
   2
   3 int main(int argc, char **argv)
   4 {
   5         struct isl_ctx *ctx;
   6         struct isl_map *map;
   7
   8         ctx = isl_ctx_alloc();
   9
  10         map = isl_map_read_from_file(ctx, stdin, -1);
  11         isl_map_print(map, stdout, 0, ISL_FORMAT_ISL);
  12         isl_map_free(map);
  13
  14         isl_ctx_free(ctx);
  15
  16         return 0;
  17 }